- Timestamp:
- 2010-01-04T17:40:03+13:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone2/common-src/src/jdbmedit/JdbmAPI.java
r21402 r21403 27 27 import java.io.InputStreamReader; 28 28 import java.io.IOException; 29 import java.io.UnsupportedEncodingException; 30 import java.io.OutputStreamWriter; 31 import java.io.PrintWriter; 29 32 30 33 import java.util.Properties; … … 45 48 HTree hashtable_; 46 49 50 static private PrintWriter utf8out = null; 51 52 static 53 { 54 try { 55 OutputStreamWriter osw = new OutputStreamWriter(System.out, "UTF-8"); 56 utf8out = new PrintWriter(osw, true); 57 } 58 catch (UnsupportedEncodingException e) { 59 System.out.println(e); 60 } 61 } 62 47 63 public JdbmAPI(String db_filename,boolean must_exist) 48 64 throws IOException 49 65 { 66 if (db_filename.endsWith(".jdb")) { 67 // remove file extension as JDBM does not expect it 68 db_filename = db_filename.substring(0,db_filename.length()-4); 69 } 70 50 71 // create or open a record manager 51 72 Properties props = new Properties(); … … 197 218 JdbmAPI jdbm_api = new JdbmAPI(dbname); 198 219 199 InputStreamReader isr=new InputStreamReader(System.in );220 InputStreamReader isr=new InputStreamReader(System.in,"UTF-8"); 200 221 BufferedReader brin = new BufferedReader(isr); 201 222 … … 208 229 209 230 int keys_len = keys.size(); 210 System.out.println(keys_len);231 utf8out.println(keys_len); 211 232 212 233 for (int i=0; i<keys_len; i++) { 213 234 String key = (String) keys.get(i); 214 System.out.println(key);235 utf8out.println(key); 215 236 } 216 237 } … … 221 242 if (cmd.equals("Get")) { 222 243 String val = jdbm_api.get(key); 223 System.out.println(val.length());224 System.out.println(val);244 utf8out.println(val.length()); 245 utf8out.println(val); 225 246 } 226 247 else {
Note:
See TracChangeset
for help on using the changeset viewer.