From 75ebd0eacdb7415bba811ce9758e90fbf131497c Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 7 Feb 2017 13:31:57 -0800 Subject: [PATCH] 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. --- basis/io/servers/servers.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/io/servers/servers.factor b/basis/io/servers/servers.factor index 55b364b18c..b25cb22c11 100755 --- a/basis/io/servers/servers.factor +++ b/basis/io/servers/servers.factor @@ -34,10 +34,10 @@ ERROR: server-already-running threaded-server ;