diff --git a/extra/managed-server/managed-server.factor b/extra/managed-server/managed-server.factor index ac4e275c9e..7d75976ea5 100644 --- a/extra/managed-server/managed-server.factor +++ b/extra/managed-server/managed-server.factor @@ -37,8 +37,8 @@ ERROR: no-such-client username ; > '[ _ print flush ] with-output-stream* ; +: (send-client) ( managed-client seq -- ) + [ output-stream>> ] dip '[ _ print flush ] with-output-stream* ; PRIVATE>