Changeset e665360 in git for Singular/LIB/standard.lib

Timestamp:

May 25, 1998, 11:28:33 PM (25 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

eb816eae221c6afa793536b78f3f6090b3fcca67

Parents:

237da4a965b4c32761c7294fe88cc2b9bba88453

Message:

* minor bug fixes


git-svn-id: file:///usr/local/Singular/svn/trunk@1987 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/standard.lib (modified) (3 diffs)

Singular/LIB/standard.lib

@@ -1 @@
-// $Id: standard.lib,v 1.15 1998-05-25 08:44:14 obachman Exp $
+// $Id: standard.lib,v 1.16 1998-05-25 21:28:33 obachman Exp $
 //////////////////////////////////////////////////////////////////////////////
 
-version="$Id: standard.lib,v 1.15 1998-05-25 08:44:14 obachman Exp $";
+version="$Id: standard.lib,v 1.16 1998-05-25 21:28:33 obachman Exp $";
 info="
 LIBRARY: standard.lib   PROCEDURES WHICH ARE ALWAYS LOADED AT START-UP
@@ -151 +151 @@
       if (typeof(#[1]) == "int")
       {
-        int wait = #[1] * 1000000;
-        int j,k = 10, 0;
+        int wait = #[1];
+        int j = 10;
+        
         string bs = nameof(basering);
         link l_fork = "MPtcp:fork";
@@ -160 +161 @@
         write(l_fork, quote(groebner(eval(i))));
         
-        while(k < wait)
+        // sleep in small intervalls for appr. one second
+        if (wait > 0)
         {
-          if (status(l_fork, "read", "ready", j)) {break;}
-          k = k + j;
-          j = j + j;
+          while(j < 1000000)
+          {
+            if (status(l_fork, "read", "ready", j)) {break;}
+            j = j + j;
+          }
         }
-
+        
+        // sleep in intervalls of one second from now on
+        j = 1;
+        while (j < wait)
+        {
+          if (status(l_fork, "read", "ready", 1000000)) {break;}
+          j = j + 1;
+        }
+        
         if (status(l_fork, "read", "ready"))
         {