Changeset 7dd7a90 in git

Timestamp:

Nov 12, 2020, 3:04:21 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

af220b36057af44c5e21736e9d9f4f10e3060094

Parents:

a8722903a92fbe5f455fbb4e4acf6ae345020241

Message:

opt: while(10) ->loop

File:

• kernel/GBEngine/kverify.cc (modified) (2 diffs)

kernel/GBEngine/kverify.cc

@@ -143 +143 @@
   if (parent_pid!=getpid()) // child ------------------------------------------
   {
-    do
+    loop
     {
       int ind=queue->dequeue();
@@ -195 +195 @@
         exit(0);
       }
-    } while(1);
+    }
   }
   else // parent ---------------------------------------------------