diff options
author | Eduardo Lundgren <eduardolundgren@gmail.com> | 2008-06-07 20:02:49 +0000 |
---|---|---|
committer | Eduardo Lundgren <eduardolundgren@gmail.com> | 2008-06-07 20:02:49 +0000 |
commit | e2d2ed1eb0334b125d59f0f549ea312501ef2720 (patch) | |
tree | d720b16ef8c062522a8111a55fc865620f54955a /release/build/js/writeFile.js | |
parent | 938369202574eafed98d927a2ead380fd75794a2 (diff) | |
download | jquery-ui-e2d2ed1eb0334b125d59f0f549ea312501ef2720.tar.gz jquery-ui-e2d2ed1eb0334b125d59f0f549ea312501ef2720.zip |
Deploy release build.xml
Diffstat (limited to 'release/build/js/writeFile.js')
-rw-r--r-- | release/build/js/writeFile.js | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/release/build/js/writeFile.js b/release/build/js/writeFile.js new file mode 100644 index 000000000..43b1eb246 --- /dev/null +++ b/release/build/js/writeFile.js @@ -0,0 +1,19 @@ +importPackage(java.io); + +function writeFile( file, stream ) { + var buffer = new PrintWriter( new FileWriter( file ) ); + buffer.print( stream ); + buffer.close(); +} + +function read( file ) { + var jq = new File(file); + var reader = new BufferedReader(new FileReader(jq)); + var line = null; + var buffer = new java.lang.StringBuffer(jq.length()); + while( (line = reader.readLine()) != null) { + buffer.append(line); + buffer.append("\n"); + } + return buffer.toString(); +}
\ No newline at end of file |