Queue.st
changeset 4151 32fdabb21a15
parent 4067 b462a3ff3a61
child 4345 0000c66ef9f0
--- a/Queue.st	Fri Oct 14 00:47:40 2016 +0200
+++ b/Queue.st	Fri Oct 14 00:48:43 2016 +0200
@@ -49,7 +49,7 @@
     and another element is to be added. 
     Likewise, it will report an error if it is empty and an element is to be removed.
 
-    It is NOT safe when two processes access instances of Queue simultaneously,
+    It is NOT safe when two processes access the same queue-instance simultaneously,
     since accesses to the internals are not protected against process-switches.
     See SharedQueue for a class which IS safe w.r.t. processes and which blocks
     on write when full or on read when empty.