annotate example/MJDBCTest.java @ 970:f90d811e97eb default tip

Adjust getTableTypes() test for new table type: LOCAL TEMPORARY VIEW, added in 11.53.4 (Mar2025-SP1)
author Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
date Thu, 03 Apr 2025 15:01:33 +0200 (3 days ago)
parents d416e9b6b3d0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
1 /*
833
e890195256ac Update copyright for the new year, move to MonetDB Foundation, add SPDX.
Sjoerd Mullender <sjoerd@acm.org>
parents: 716
diff changeset
2 * SPDX-License-Identifier: MPL-2.0
e890195256ac Update copyright for the new year, move to MonetDB Foundation, add SPDX.
Sjoerd Mullender <sjoerd@acm.org>
parents: 716
diff changeset
3 *
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
4 * This Source Code Form is subject to the terms of the Mozilla Public
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
5 * License, v. 2.0. If a copy of the MPL was not distributed with this
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
6 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
7 *
937
d416e9b6b3d0 Update Copyright year.
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 833
diff changeset
8 * Copyright 2024, 2025 MonetDB Foundation;
833
e890195256ac Update copyright for the new year, move to MonetDB Foundation, add SPDX.
Sjoerd Mullender <sjoerd@acm.org>
parents: 716
diff changeset
9 * Copyright August 2008 - 2023 MonetDB B.V.;
e890195256ac Update copyright for the new year, move to MonetDB Foundation, add SPDX.
Sjoerd Mullender <sjoerd@acm.org>
parents: 716
diff changeset
10 * Copyright 1997 - July 2008 CWI.
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
11 */
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
12
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
13 import java.sql.*;
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
14
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
15 /**
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
16 * This example assumes there exists tables a and b filled with some data.
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
17 * On these tables some queries are executed and the JDBC driver is tested
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
18 * on it's accuracy and robustness against 'users'.
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
19 *
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
20 * @author Fabian Groffen
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
21 */
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
22 public class MJDBCTest {
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
23 public static void main(String[] args) throws Exception {
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
24 String MonetDB_JDBC_URL = "jdbc:monetdb://localhost:50000/demo"; // change host, port and databasename
257
529b92d09fc6 Resolve compilation warnings when compiled with javac -Xlint
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 226
diff changeset
25 Connection con = null;
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
26 try {
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
27 con = DriverManager.getConnection(MonetDB_JDBC_URL, "monetdb", "monetdb");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
28 } catch (SQLException e) {
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
29 System.err.println("Failed to connect to MonetDB server! Message: " + e.getMessage());
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
30 }
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
31
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
32 if (con == null) {
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
33 System.err.println("Failed to create a connection object!");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
34 return;
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
35 }
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
36
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
37 Statement st = con.createStatement();
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
38 ResultSet rs;
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
39
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
40 String sql = "SELECT a.var1, COUNT(b.id) as total FROM a, b WHERE a.var1 = b.id AND a.var1 = 'andb' GROUP BY a.var1 ORDER BY a.var1, total;";
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
41 rs = st.executeQuery(sql);
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
42 // get meta data and print columns with their type
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
43 ResultSetMetaData md = rs.getMetaData();
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
44 for (int i = 1; i <= md.getColumnCount(); i++) {
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
45 System.out.print(md.getColumnName(i) + ":" +
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
46 md.getColumnTypeName(i) + "\t");
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
47 }
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
48 System.out.println("");
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
49 // print the data: only the first 5 rows, while there probably are
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
50 // a lot more. This shouldn't cause any problems afterwards since the
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
51 // result should get properly discarded on the next query
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
52 for (int i = 0; rs.next() && i < 5; i++) {
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
53 for (int j = 1; j <= md.getColumnCount(); j++) {
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
54 System.out.print(rs.getString(j) + "\t");
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
55 }
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
56 System.out.println("");
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
57 }
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
58
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
59 // tell the driver to only return 5 rows, it can optimize on this
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
60 // value, and will not fetch any more than 5 rows.
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
61 st.setMaxRows(5);
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
62 // we ask the database for 22 rows, while we set the JDBC driver to
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
63 // 5 rows, this shouldn't be a problem at all...
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
64 rs = st.executeQuery("select * from a limit 22");
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
65 int var1_cnr = rs.findColumn("var1");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
66 int var2_cnr = rs.findColumn("var2");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
67 int var3_cnr = rs.findColumn("var3");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
68 int var4_cnr = rs.findColumn("var4");
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
69 // read till the driver says there are no rows left
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
70 for (int i = 0; rs.next(); i++) {
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
71 System.out.println(
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
72 "[" + rs.getString(var1_cnr) + "]" +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
73 "[" + rs.getString(var2_cnr) + "]" +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
74 "[" + rs.getInt(var3_cnr) + "]" +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
75 "[" + rs.getString(var4_cnr) + "]" );
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
76 }
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
77
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
78 // this rs.close is not needed, should be done by next execute(Query) call
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
79 // however if there can be some time between this point and the next
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
80 // execute call, it is from a resource perspective better to close it.
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
81 rs.close();
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
82
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
83 // unset the row limit; 0 means as much as the database sends us
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
84 st.setMaxRows(0);
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
85 // we only ask 10 rows
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
86 rs = st.executeQuery("select * from b limit 10;");
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
87 int rowid_cnr = rs.findColumn("rowid");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
88 int id_cnr = rs.findColumn("id");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
89 var1_cnr = rs.findColumn("var1");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
90 var2_cnr = rs.findColumn("var2");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
91 var3_cnr = rs.findColumn("var3");
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
92 var4_cnr = rs.findColumn("var4");
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
93 // and simply print them
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
94 while (rs.next()) {
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
95 System.out.println(
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
96 rs.getInt(rowid_cnr) + ", " +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
97 rs.getString(id_cnr) + ", " +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
98 rs.getInt(var1_cnr) + ", " +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
99 rs.getInt(var2_cnr) + ", " +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
100 rs.getString(var3_cnr) + ", " +
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
101 rs.getString(var4_cnr) );
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
102 }
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
103
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
104 // this close is not required, as the Statement will close the last
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
105 // ResultSet around when it's closed
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
106 // again, if that can take some time, it's nicer to close immediately
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
107 // the reason why these closes are commented out here, is to test if
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
108 // the driver really cleans up it's mess like it should
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
109 rs.close();
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
110
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
111 // perform a ResultSet-less query (with no trailing ; since that should
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
112 // be possible as well and is JDBC standard)
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
113 // Note that this method should return the number of updated rows. This
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
114 // method however always returns -1, since Monet currently doesn't
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
115 // support returning the affected rows.
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
116 st.executeUpdate("delete from a where var1 = 'zzzz'");
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
117
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
118 // Don't forget to do it yourself if the connection is reused or much
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
119 // longer alive, since the Statement object contains a lot of things
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
120 // you probably want to reclaim if you don't need them anymore.
226
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
121 st.close();
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
122 // closing the connection should take care of closing all generated
5ea126405bac Update java examples code
Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
parents: 200
diff changeset
123 // statements from it...
0
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
124 con.close();
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
125 }
a5a898f6886c Copy of MonetDB java directory changeset e6e32756ad31.
Sjoerd Mullender <sjoerd@acm.org>
parents:
diff changeset
126 }