blob: a67a81a85389b6406e830cf1182b7989b49cef53 [file] [log] [blame]
Bram Moolenaar6463ca22016-02-13 17:04:46 +01001#!/usr/bin/python
2#
3# Server that will communicate over stdin/stderr
4#
5# This requires Python 2.6 or later.
6
7from __future__ import print_function
8import sys
Bram Moolenaarbbe8d912016-06-05 16:10:57 +02009import time
Bram Moolenaar6463ca22016-02-13 17:04:46 +010010
11if __name__ == "__main__":
12
13 if len(sys.argv) > 1:
Bram Moolenaarf65333c2016-03-08 18:27:21 +010014 if sys.argv[1].startswith("err"):
15 print(sys.argv[1], file=sys.stderr)
16 sys.stderr.flush()
17 else:
18 print(sys.argv[1])
19 sys.stdout.flush()
Bram Moolenaarb2658a12016-04-26 17:16:24 +020020 if sys.argv[1].startswith("quit"):
21 sys.exit(0)
Bram Moolenaar6463ca22016-02-13 17:04:46 +010022
23 while True:
24 typed = sys.stdin.readline()
25 if typed.startswith("quit"):
26 print("Goodbye!")
27 sys.stdout.flush()
28 break
Bram Moolenaarc25558b2016-03-03 21:02:23 +010029 if typed.startswith("echo "):
Bram Moolenaar6463ca22016-02-13 17:04:46 +010030 print(typed[5:-1])
31 sys.stdout.flush()
Bram Moolenaar88989cc2017-02-06 21:56:09 +010032 if typed.startswith("echosplit "):
33 for part in typed[10:-1].split('|'):
34 sys.stdout.write(part)
35 sys.stdout.flush()
36 time.sleep(0.05)
Bram Moolenaare98d1212016-03-08 15:37:41 +010037 if typed.startswith("double "):
Bram Moolenaar9a6e33a2016-02-16 19:25:12 +010038 print(typed[7:-1] + "\nAND " + typed[7:-1])
39 sys.stdout.flush()
Bram Moolenaarbbe8d912016-06-05 16:10:57 +020040 if typed.startswith("split "):
41 print(typed[6:-1], end='')
42 sys.stdout.flush()
43 time.sleep(0.05)
44 print(typed[6:-1], end='')
45 sys.stdout.flush()
46 time.sleep(0.05)
47 print(typed[6:-1])
48 sys.stdout.flush()
Bram Moolenaare98d1212016-03-08 15:37:41 +010049 if typed.startswith("echoerr "):
50 print(typed[8:-1], file=sys.stderr)
51 sys.stderr.flush()
52 if typed.startswith("doubleerr "):
53 print(typed[10:-1] + "\nAND " + typed[10:-1], file=sys.stderr)
54 sys.stderr.flush()
Bram Moolenaar6463ca22016-02-13 17:04:46 +010055