Parent Directory | Revision Log | Patch
revision 1.12 by benja, Fri Nov 8 19:24:54 2002 UTC | revision 1.13 by benja, Sat Nov 16 04:38:03 2002 UTC | |
---|---|---|
# | Line 606 public static final String rcsid = "$Id$ | Line 606 public static final String rcsid = "$Id$ |
606 | ||
607 | try { | try { |
608 | File dir = new File(System.getProperty("user.dir")); | File dir = new File(System.getProperty("user.dir")); |
609 | tmp = gzz.util.TestingUtil.tmpFile(dir); | tmp = gzz.util.TempFileUtil.tmpFile(dir); |
610 | ||
611 | byte[] out = text.getBytes(encoding); | byte[] out = text.getBytes(encoding); |
612 | FileOutputStream fout = new FileOutputStream(tmp); | FileOutputStream fout = new FileOutputStream(tmp); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |