Changeset 5923

Timestamp:

2003-11-20T17:41:35+13:00 (20 years ago)

Author:

mdewsnip

Message:

(This is not me committing - it is John!!)

Added a sleep within the stream reading loop, as it was sometimes being greedy with processor time and not letting low-output scripts do anyting (ie makecol and exportcol)

ps. This actually is Michael pretending to be John

File:

• trunk/gli/src/org/greenstone/gatherer/shell/GShell.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/shell/GShell.java

@@ -215 +215 @@
         }
         // Hopefully this won't block if the process is trying to write to STDERR
-        if(stdisr.ready()) {
+        else if(stdisr.ready()) {
             int c = stdisr.read();
             if(c == '\n' || c == '\r') {
@@ -228 +228 @@
             else {
             stdline_buffer.append((char)c);
+            }
+        }
+        else {
+            try {
+            sleep(100);
+            }
+            catch(Exception exception) {
             }
         }