]> gitweb.factorcode.org Git - factor.git/commit
listener: adding quiet mode.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 6 Nov 2019 16:09:16 +0000 (08:09 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 6 Nov 2019 16:09:16 +0000 (08:09 -0800)
commit745840dfcacac6cd41e5be5e4d1b9ba2417fa531
treec5998e4226810768f497b4b6627fe0f7a06964c6
parent715283d11d99f89a3576899d2f2ce43f31f31bd8
listener: adding quiet mode.

This skips printing the version info when starting the listener.

    ./factor -q
    ./factor -q -run=listener
    ./factor -q -run=readline-listener
basis/listener/listener.factor