#TUNING by cg
authorClaus Gittinger <cg@exept.de>
Mon, 24 Jul 2017 23:08:49 +0200
changeset 4479 36c7825beafc
parent 4478 010c2cd47df3
child 4480 3149cd46d7d1
#TUNING by cg class: Monitor changed: #enter
Monitor.st
--- a/Monitor.st	Tue Jul 18 19:59:35 2017 +0200
+++ b/Monitor.st	Mon Jul 24 23:08:49 2017 +0200
@@ -153,8 +153,8 @@
             "/ self halt.
         ] ifFalse:[
             [owningProcess notNil] whileTrue:[
-                thisProcess state:#monWait.
-                (sema waitWithTimeout:10) isNil ifTrue:[
+                "/ thisProcess state:#monWait.
+                (sema waitWithTimeoutMs:10000 state:#monWait) isNil ifTrue:[
                     (owningProcess notNil and:[owningProcess isDead]) ifTrue:[
                         'Monitor [warning]: acquire monitor from dead process' errorPrintCR.
                         owningProcess := nil.
@@ -168,7 +168,7 @@
         wasBlocked ifFalse:[OperatingSystem unblockInterrupts]
     ]
 
-    "Modified: / 8.1.1999 / 13:56:28 / cg"
+    "Modified: / 24-07-2017 / 21:17:05 / cg"
 !
 
 exit