236237238239240241242243244245246
} else { WriteStream deployStream = deployPath.openWrite(); try { deployStream.writeFile(archivePath); } finally { deployStream.close(); } }
178179180181182183184185186187188
throws Throwable { WriteStream s = path.openWrite(); try { s.writeFile(file); } finally { s.close(); } }
throws Throwable { WriteStream s = path.openAppend(); try { s.writeFile(file); } finally { s.close(); } }