Fix for wait time
commit7a38f7910426329bd2e641d84975d13bd670ea3e
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Wed, 25 Aug 2010 16:53:07 +0000 (25 16:53 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Wed, 25 Aug 2010 16:53:07 +0000 (25 16:53 +0000)
tree391afb2434da97c2670a3ebba71d1ca7a525c9ea
parenta3a24cf3f3b73fb3c3ed233b23718dc01172623b
Fix for wait time

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@3057 64cb5145-927a-446d-8aed-2fb7b4773692
src/plugins/shell/src/tm_shell.cpp