Try to write the data just dispatched. This fix the 'add' command in the ctrl shell...
commitd909a47608db6f6106967749d0ed81535e67d093
authorgchazara@cheypa.inria.fr <>
Wed, 20 Jun 2007 13:26:32 +0000 (20 15:26 +0200)
committerGuillaume Chazarain <guichaz@yahoo.fr>
Wed, 20 Jun 2007 13:26:32 +0000 (20 15:26 +0200)
tree6542f41e1b37013f9d6eb8303d10ed7a7c5f18a8
parent2d7344b2291e1a7923e0fd10e477dc160d38e76f
Try to write the data just dispatched. This fix the 'add' command in the ctrl shell when using Zsh.
gsh/buffered_dispatcher.py