Writer priority causes deadlock in
commit7df05378ea5ae951336ebfe670b5f4bff01c11a3
authorGuillaume Chazarain <guichaz@yahoo.fr>
Mon, 14 Jan 2008 16:44:28 +0000 (14 17:44 +0100)
committerGuillaume Chazarain <guichaz@yahoo.fr>
Mon, 14 Jan 2008 16:44:28 +0000 (14 17:44 +0100)
tree45e5be4015ffbfbdf29957a774c710fd0d9cd5ad
parent1744001a52e2cb931708ba4ae4476f8fd45f6664
Writer priority causes deadlock in
(yes date | head -n 1000; echo ps) | ./gsh.py --ssh='bash;:' dummy
gsh/buffered_dispatcher.py