--- a/DeviceWorkstation.st	Wed Mar 13 17:04:56 2013 +0100
+++ b/DeviceWorkstation.st	Thu Mar 14 16:05:41 2013 +0100
@@ -4701,7 +4701,7 @@
             self eventPending ifFalse:[
                 Processor activeProcess setStateTo:#ioWait if:#active.
                 "/ a temporary hack & workaround for semaphore-bug
-                (eventSema waitWithTimeoutMs:500) isNil ifTrue:[
+                (eventSema waitWithTimeoutMs:200) isNil ifTrue:[
                     "/ timeout
                     eventSema wouldBlock ifFalse:[
                         'DeviceWorkstation [info]: sema did not wake up' infoPrintCR
@@ -8246,11 +8246,11 @@
 !DeviceWorkstation class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.581 2013-03-01 13:48:50 stefan Exp $'
+    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.582 2013-03-14 15:05:41 cg Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.581 2013-03-01 13:48:50 stefan Exp $'
+    ^ '$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.582 2013-03-14 15:05:41 cg Exp $'
 ! !