"Tassilo Horn" <heimdall / uni-koblenz.de> writes:

> Yes, really. It deadlocks always when the waiter puts 0 and 1 (or 1 and
> 0) on the table...

Forget it. I tested this five times and it always crashed with 0 and 1
on the table, but this was a coincidence. After some further testing I
can't find any connection between the things on the table and the
crashes.

Regards,
Tassilo
-- 
echo '[dO%O+38%O+PO/d0<0]Fi22os0CC4BA64E418CE7l0xAP'|dc