chiark / gitweb /
fix eof handler
authorian <ian>
Fri, 6 Jun 2008 20:59:11 +0000 (20:59 +0000)
committerian <ian>
Fri, 6 Jun 2008 20:59:11 +0000 (20:59 +0000)
hostside/gui

index afcfb303276a18f1bd9e66880f407c6698134223..fcb22a99d6522d5ae1ac1f5549c6897f49ac47ed 100755 (executable)
@@ -397,7 +397,7 @@ proc gui-pipe-readable {args} {
 
 #---------- train set events of general interest, and setup ----------
 
-proc train-event-eof {} {
+proc train-event-eof {args} {
     error "lost connection to train set"
 }