--- a/DeviceWorkstation.st	Wed Mar 20 19:43:26 2013 +0100
+++ b/DeviceWorkstation.st	Mon Mar 25 18:01:47 2013 +0100
@@ -4698,16 +4698,17 @@
         AbortAllOperationRequest handle:[:ex |
             ex return
         ] do:[
-            self eventPending ifFalse:[
+            [self eventPending] whileFalse:[
                 Processor activeProcess setStateTo:#ioWait if:#active.
                 "/ a temporary hack & workaround for semaphore-bug
-                (eventSema waitWithTimeoutMs:200) isNil ifTrue:[
+                (eventSema waitWithTimeoutMs:500) isNil ifTrue:[
                     "/ timeout
                     eventSema wouldBlock ifFalse:[
                         'DeviceWorkstation [info]: sema did not wake up' infoPrintCR
-                    ].
-                    self eventPending ifTrue:[
-                        'DeviceWorkstation [info]: sema missed' infoPrintCR
+                    ] ifTrue:[
+                        self eventPending ifTrue:[
+                            'DeviceWorkstation [info]: sema missed' infoPrintCR
+                        ].
                     ].
                 ]
             ].
@@ -8246,11 +8247,11 @@
 !DeviceWorkstation class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.582 2013-03-14 15:05:41 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.583 2013-03-25 17:01:47 stefan Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.582 2013-03-14 15:05:41 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.583 2013-03-25 17:01:47 stefan Exp $'
 ! !