Let the server start before trying to clean it up
parent
1f366c8b1d
commit
b98f4c13ce
|
@ -44,7 +44,7 @@ ERROR: server-not-running threaded-server ;
|
|||
running-servers get adjoin ;
|
||||
|
||||
: remove-running-server ( threaded-server -- )
|
||||
! must-be-running
|
||||
must-be-running
|
||||
running-servers get delete ;
|
||||
|
||||
PRIVATE>
|
||||
|
@ -210,9 +210,9 @@ PRIVATE>
|
|||
server-stopped>> wait-for-flag ;
|
||||
|
||||
: with-threaded-server ( threaded-server quot -- )
|
||||
over
|
||||
[ start-server ] dip over
|
||||
'[
|
||||
[ _ start-server threaded-server _ with-variable ]
|
||||
[ _ threaded-server _ with-variable ]
|
||||
[ _ stop-server ]
|
||||
[ ] cleanup
|
||||
] call ; inline
|
||||
|
|
Loading…
Reference in New Issue