2016-02-13 17:04:46 +01:00
|
|
|
#!/usr/bin/python
|
|
|
|
#
|
|
|
|
# Server that will communicate over stdin/stderr
|
|
|
|
#
|
|
|
|
# This requires Python 2.6 or later.
|
|
|
|
|
|
|
|
from __future__ import print_function
|
|
|
|
import sys
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
|
|
|
|
if len(sys.argv) > 1:
|
|
|
|
print(sys.argv[1])
|
|
|
|
|
|
|
|
while True:
|
|
|
|
typed = sys.stdin.readline()
|
|
|
|
if typed.startswith("quit"):
|
|
|
|
print("Goodbye!")
|
|
|
|
sys.stdout.flush()
|
|
|
|
break
|
2016-03-03 21:02:23 +01:00
|
|
|
if typed.startswith("echo "):
|
2016-02-13 17:04:46 +01:00
|
|
|
print(typed[5:-1])
|
|
|
|
sys.stdout.flush()
|
2016-03-08 15:37:41 +01:00
|
|
|
if typed.startswith("double "):
|
2016-02-16 19:25:12 +01:00
|
|
|
print(typed[7:-1] + "\nAND " + typed[7:-1])
|
|
|
|
sys.stdout.flush()
|
2016-03-08 15:37:41 +01:00
|
|
|
if typed.startswith("echoerr "):
|
|
|
|
print(typed[8:-1], file=sys.stderr)
|
|
|
|
sys.stderr.flush()
|
|
|
|
if typed.startswith("doubleerr "):
|
|
|
|
print(typed[10:-1] + "\nAND " + typed[10:-1], file=sys.stderr)
|
|
|
|
sys.stderr.flush()
|
2016-02-13 17:04:46 +01:00
|
|
|
|