steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

io.servers: using ?adjoin and ?delete in add/remove-running-server. 

Also fixed a small bug in add-running-server where the error was
mistakenly constructed with running-servers instead of threaded-server.
char-rename
John Benediktsson 2017-02-07 13:31:57 -08:00
parent 8dfbbc7cf2
commit 75ebd0eacd
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/io/servers/servers.factor
View File

@ -34,10 +34,10 @@ ERROR: server-already-running threaded-server ;
<PRIVATE
: add-running-server ( threaded-server running-servers -- )
2dup in? [ server-already-running ] [ adjoin ] if ;
dupd ?adjoin [ drop ] [ server-already-running ] if ;
: remove-running-server ( threaded-server running-servers -- )
2dup in? [ delete ] [ drop server-not-running ] if ;
dupd ?delete [ drop ] [ server-not-running ] if ;
PRIVATE>