+ File sfile = null;
+ if (groovyscript.trim().equals("STDIN"))
+ {
+ // read from stdin into a tempfile and execute it
+ try {
+ sfile = File.createTempFile("jalview", "groovy");
+ PrintWriter outfile = new PrintWriter(new OutputStreamWriter(new FileOutputStream(sfile)));
+ BufferedReader br = new BufferedReader(new java.io.InputStreamReader(System.in));
+ String line=null;
+ while ((line=br.readLine())!=null)
+ {
+ outfile.write(line+"\n");
+ }
+ br.close();
+ outfile.flush();
+ outfile.close();
+
+ } catch (Exception ex)
+ {
+ System.err.println("Failed to read from STDIN into tempfile "+((sfile==null) ? "(tempfile wasn't created)" : sfile.toString()));
+ ex.printStackTrace();
+ return;
+ }
+ } else {
+ sfile = new File(groovyscript);
+ }