src/JavaMonitor.st
branchjk_new_structure
changeset 1148 15b6074a4841
parent 1146 e458dd16772e
child 1152 040cba55a7d2
equal deleted inserted replaced
1147:9431cebfd873 1148:15b6074a4841
   309     | thisProcess |
   309     | thisProcess |
   310     thisProcess := Processor activeProcess.
   310     thisProcess := Processor activeProcess.
   311     self assert: (self isOwnedBy: thisProcess).
   311     self assert: (self isOwnedBy: thisProcess).
   312     self processesWaitingAdd: thisProcess.
   312     self processesWaitingAdd: thisProcess.
   313     self releaseAll.
   313     self releaseAll.
   314     waitingSema waitWithTimeoutMs: timeOut.
   314     waitingSema waitWithTimeoutMs: timeOut.    
   315     Logger 
       
   316         log: 'Process has been notified'
       
   317         severity: #debug
       
   318         facility: #JVM.
       
   319     self acquire.
   315     self acquire.
   320     self processesWaitingRestore: thisProcess.
   316     self processesWaitingRestore: thisProcess.
   321 
   317 
   322     "Created: / 22-11-2011 / 12:52:45 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
   318     "Created: / 22-11-2011 / 12:52:45 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
   323 ! !
   319 ! !