]> gitweb.factorcode.org Git - factor.git/commitdiff
fuel.remote: remove integer? check
authormariari <mariari@protonmail.com>
Sat, 18 Jun 2022 21:20:48 +0000 (16:20 -0500)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 18 Jun 2022 23:29:00 +0000 (16:29 -0700)
extra/fuel/remote/remote.factor

index b9cb3d139db6c92e5f70ce5b36c806c01b5ccfb9..4e55f10de5956acfa824271305aff47e9aed1585 100644 (file)
@@ -13,7 +13,7 @@ IN: fuel.remote
 PRIVATE>
 
 : fuel-start-remote-listener ( port/f -- )
-    print-banner integer? [ 9000 ] unless* <tty-server> start-server drop ;
+    print-banner [ 9000 ] unless* <tty-server> start-server drop ;
 
 : fuel-start-remote-listener* ( -- ) f fuel-start-remote-listener ;