Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 1 | #!/usr/bin/python |
| 2 | # |
| 3 | # Server that will accept connections from a Vim channel. |
Bram Moolenaar | 7707344 | 2016-02-13 23:23:53 +0100 | [diff] [blame] | 4 | # Used by test_channel.vim. |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 5 | # |
| 6 | # This requires Python 2.6 or later. |
| 7 | |
| 8 | from __future__ import print_function |
| 9 | import json |
| 10 | import socket |
| 11 | import sys |
Bram Moolenaar | 81661fb | 2016-02-18 22:23:34 +0100 | [diff] [blame] | 12 | import time |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 13 | import threading |
| 14 | |
| 15 | try: |
| 16 | # Python 3 |
| 17 | import socketserver |
| 18 | except ImportError: |
| 19 | # Python 2 |
| 20 | import SocketServer as socketserver |
| 21 | |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 22 | class ThreadedTCPRequestHandler(socketserver.BaseRequestHandler): |
| 23 | |
| 24 | def handle(self): |
| 25 | print("=== socket opened ===") |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 26 | while True: |
| 27 | try: |
Bram Moolenaar | 608a891 | 2016-02-03 22:39:51 +0100 | [diff] [blame] | 28 | received = self.request.recv(4096).decode('utf-8') |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 29 | except socket.error: |
| 30 | print("=== socket error ===") |
| 31 | break |
| 32 | except IOError: |
| 33 | print("=== socket closed ===") |
| 34 | break |
Bram Moolenaar | 608a891 | 2016-02-03 22:39:51 +0100 | [diff] [blame] | 35 | if received == '': |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 36 | print("=== socket closed ===") |
| 37 | break |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 38 | print("received: {0}".format(received)) |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 39 | |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 40 | # We may receive two messages at once. Take the part up to the |
Bram Moolenaar | f1f0792 | 2016-08-26 17:58:53 +0200 | [diff] [blame] | 41 | # newline, which should be after the matching "]". |
Bram Moolenaar | 608a891 | 2016-02-03 22:39:51 +0100 | [diff] [blame] | 42 | todo = received |
| 43 | while todo != '': |
Bram Moolenaar | f1f0792 | 2016-08-26 17:58:53 +0200 | [diff] [blame] | 44 | splitidx = todo.find('\n') |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 45 | if splitidx < 0: |
Bram Moolenaar | 608a891 | 2016-02-03 22:39:51 +0100 | [diff] [blame] | 46 | used = todo |
| 47 | todo = '' |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 48 | else: |
Bram Moolenaar | f1f0792 | 2016-08-26 17:58:53 +0200 | [diff] [blame] | 49 | used = todo[:splitidx] |
Bram Moolenaar | 608a891 | 2016-02-03 22:39:51 +0100 | [diff] [blame] | 50 | todo = todo[splitidx + 1:] |
| 51 | if used != received: |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 52 | print("using: {0}".format(used)) |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 53 | |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 54 | try: |
Bram Moolenaar | 608a891 | 2016-02-03 22:39:51 +0100 | [diff] [blame] | 55 | decoded = json.loads(used) |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 56 | except ValueError: |
| 57 | print("json decoding failed") |
| 58 | decoded = [-1, ''] |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 59 | |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 60 | # Send a response if the sequence number is positive. |
| 61 | if decoded[0] >= 0: |
| 62 | if decoded[1] == 'hello!': |
| 63 | # simply send back a string |
| 64 | response = "got it" |
Bram Moolenaar | d6547fc | 2016-03-03 19:35:02 +0100 | [diff] [blame] | 65 | elif decoded[1].startswith("echo "): |
| 66 | # send back the argument |
| 67 | response = decoded[1][5:] |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 68 | elif decoded[1] == 'make change': |
Bram Moolenaar | 66624ff | 2016-02-03 23:59:43 +0100 | [diff] [blame] | 69 | # Send two ex commands at the same time, before |
| 70 | # replying to the request. |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 71 | cmd = '["ex","call append(\\"$\\",\\"added1\\")"]' |
| 72 | cmd += '["ex","call append(\\"$\\",\\"added2\\")"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 73 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | 3b05b13 | 2016-02-03 23:25:07 +0100 | [diff] [blame] | 74 | self.request.sendall(cmd.encode('utf-8')) |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 75 | response = "ok" |
Bram Moolenaar | c4dcd60 | 2016-03-26 22:56:46 +0100 | [diff] [blame] | 76 | elif decoded[1] == 'bad command': |
| 77 | cmd = '["ex","foo bar"]' |
| 78 | print("sending: {0}".format(cmd)) |
| 79 | self.request.sendall(cmd.encode('utf-8')) |
| 80 | response = "ok" |
Bram Moolenaar | f416086 | 2016-02-05 23:09:12 +0100 | [diff] [blame] | 81 | elif decoded[1] == 'do normal': |
| 82 | # Send a normal command. |
| 83 | cmd = '["normal","G$s more\u001b"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 84 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | f416086 | 2016-02-05 23:09:12 +0100 | [diff] [blame] | 85 | self.request.sendall(cmd.encode('utf-8')) |
| 86 | response = "ok" |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 87 | elif decoded[1] == 'eval-works': |
| 88 | # Send an eval request. We ignore the response. |
Bram Moolenaar | ece61b0 | 2016-02-20 21:39:05 +0100 | [diff] [blame] | 89 | cmd = '["expr","\\"foo\\" . 123", -1]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 90 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | 3b05b13 | 2016-02-03 23:25:07 +0100 | [diff] [blame] | 91 | self.request.sendall(cmd.encode('utf-8')) |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 92 | response = "ok" |
Bram Moolenaar | fa8b2e1 | 2016-03-26 22:19:27 +0100 | [diff] [blame] | 93 | elif decoded[1] == 'eval-special': |
| 94 | # Send an eval request. We ignore the response. |
| 95 | cmd = '["expr","\\"foo\x7f\x10\x01bar\\"", -2]' |
| 96 | print("sending: {0}".format(cmd)) |
| 97 | self.request.sendall(cmd.encode('utf-8')) |
| 98 | response = "ok" |
| 99 | elif decoded[1] == 'eval-getline': |
| 100 | # Send an eval request. We ignore the response. |
| 101 | cmd = '["expr","getline(3)", -3]' |
| 102 | print("sending: {0}".format(cmd)) |
| 103 | self.request.sendall(cmd.encode('utf-8')) |
| 104 | response = "ok" |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 105 | elif decoded[1] == 'eval-fails': |
| 106 | # Send an eval request that will fail. |
Bram Moolenaar | fa8b2e1 | 2016-03-26 22:19:27 +0100 | [diff] [blame] | 107 | cmd = '["expr","xxx", -4]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 108 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | 3b05b13 | 2016-02-03 23:25:07 +0100 | [diff] [blame] | 109 | self.request.sendall(cmd.encode('utf-8')) |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 110 | response = "ok" |
Bram Moolenaar | 55fab43 | 2016-02-07 16:53:13 +0100 | [diff] [blame] | 111 | elif decoded[1] == 'eval-error': |
| 112 | # Send an eval request that works but the result can't |
| 113 | # be encoded. |
Bram Moolenaar | fa8b2e1 | 2016-03-26 22:19:27 +0100 | [diff] [blame] | 114 | cmd = '["expr","function(\\"tr\\")", -5]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 115 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | 55fab43 | 2016-02-07 16:53:13 +0100 | [diff] [blame] | 116 | self.request.sendall(cmd.encode('utf-8')) |
| 117 | response = "ok" |
Bram Moolenaar | 66624ff | 2016-02-03 23:59:43 +0100 | [diff] [blame] | 118 | elif decoded[1] == 'eval-bad': |
| 119 | # Send an eval request missing the third argument. |
Bram Moolenaar | ece61b0 | 2016-02-20 21:39:05 +0100 | [diff] [blame] | 120 | cmd = '["expr","xxx"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 121 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | 66624ff | 2016-02-03 23:59:43 +0100 | [diff] [blame] | 122 | self.request.sendall(cmd.encode('utf-8')) |
| 123 | response = "ok" |
Bram Moolenaar | ba61ac0 | 2016-03-20 16:40:37 +0100 | [diff] [blame] | 124 | elif decoded[1] == 'malformed1': |
Bram Moolenaar | ac74d5e | 2016-03-20 14:31:00 +0100 | [diff] [blame] | 125 | cmd = '["ex",":"]wrong!["ex","smi"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 126 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | ac74d5e | 2016-03-20 14:31:00 +0100 | [diff] [blame] | 127 | self.request.sendall(cmd.encode('utf-8')) |
| 128 | response = "ok" |
Bram Moolenaar | 3fad98e | 2016-12-03 15:23:40 +0100 | [diff] [blame] | 129 | # Need to wait for Vim to give up, otherwise it |
| 130 | # sometimes fails on OS X. |
| 131 | time.sleep(0.2) |
Bram Moolenaar | ba61ac0 | 2016-03-20 16:40:37 +0100 | [diff] [blame] | 132 | elif decoded[1] == 'malformed2': |
| 133 | cmd = '"unterminated string' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 134 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | ba61ac0 | 2016-03-20 16:40:37 +0100 | [diff] [blame] | 135 | self.request.sendall(cmd.encode('utf-8')) |
| 136 | response = "ok" |
| 137 | # Need to wait for Vim to give up, otherwise the double |
| 138 | # quote in the "ok" response terminates the string. |
| 139 | time.sleep(0.2) |
| 140 | elif decoded[1] == 'malformed3': |
| 141 | cmd = '["ex","missing ]"' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 142 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | ba61ac0 | 2016-03-20 16:40:37 +0100 | [diff] [blame] | 143 | self.request.sendall(cmd.encode('utf-8')) |
| 144 | response = "ok" |
| 145 | # Need to wait for Vim to give up, otherwise the ] |
| 146 | # in the "ok" response terminates the list. |
| 147 | time.sleep(0.2) |
| 148 | elif decoded[1] == 'split': |
| 149 | cmd = '["ex","let ' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 150 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | ba61ac0 | 2016-03-20 16:40:37 +0100 | [diff] [blame] | 151 | self.request.sendall(cmd.encode('utf-8')) |
| 152 | time.sleep(0.01) |
| 153 | cmd = 'g:split = 123"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 154 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | ba61ac0 | 2016-03-20 16:40:37 +0100 | [diff] [blame] | 155 | self.request.sendall(cmd.encode('utf-8')) |
| 156 | response = "ok" |
Bram Moolenaar | f416086 | 2016-02-05 23:09:12 +0100 | [diff] [blame] | 157 | elif decoded[1] == 'an expr': |
| 158 | # Send an expr request. |
| 159 | cmd = '["expr","setline(\\"$\\", [\\"one\\",\\"two\\",\\"three\\"])"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 160 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | f416086 | 2016-02-05 23:09:12 +0100 | [diff] [blame] | 161 | self.request.sendall(cmd.encode('utf-8')) |
| 162 | response = "ok" |
Bram Moolenaar | ece61b0 | 2016-02-20 21:39:05 +0100 | [diff] [blame] | 163 | elif decoded[1] == 'call-func': |
| 164 | cmd = '["call","MyFunction",[1,2,3], 0]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 165 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | ece61b0 | 2016-02-20 21:39:05 +0100 | [diff] [blame] | 166 | self.request.sendall(cmd.encode('utf-8')) |
| 167 | response = "ok" |
Bram Moolenaar | f416086 | 2016-02-05 23:09:12 +0100 | [diff] [blame] | 168 | elif decoded[1] == 'redraw': |
| 169 | cmd = '["redraw",""]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 170 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | f416086 | 2016-02-05 23:09:12 +0100 | [diff] [blame] | 171 | self.request.sendall(cmd.encode('utf-8')) |
| 172 | response = "ok" |
| 173 | elif decoded[1] == 'redraw!': |
| 174 | cmd = '["redraw","force"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 175 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | f416086 | 2016-02-05 23:09:12 +0100 | [diff] [blame] | 176 | self.request.sendall(cmd.encode('utf-8')) |
| 177 | response = "ok" |
Bram Moolenaar | 6076fe1 | 2016-02-05 22:49:56 +0100 | [diff] [blame] | 178 | elif decoded[1] == 'empty-request': |
| 179 | cmd = '[]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 180 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | 6076fe1 | 2016-02-05 22:49:56 +0100 | [diff] [blame] | 181 | self.request.sendall(cmd.encode('utf-8')) |
| 182 | response = "ok" |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 183 | elif decoded[1] == 'eval-result': |
| 184 | # Send back the last received eval result. |
| 185 | response = last_eval |
Bram Moolenaar | f615728 | 2016-02-10 21:07:14 +0100 | [diff] [blame] | 186 | elif decoded[1] == 'call me': |
| 187 | cmd = '[0,"we called you"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 188 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | f615728 | 2016-02-10 21:07:14 +0100 | [diff] [blame] | 189 | self.request.sendall(cmd.encode('utf-8')) |
| 190 | response = "ok" |
| 191 | elif decoded[1] == 'call me again': |
| 192 | cmd = '[0,"we did call you"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 193 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | f615728 | 2016-02-10 21:07:14 +0100 | [diff] [blame] | 194 | self.request.sendall(cmd.encode('utf-8')) |
| 195 | response = "" |
Bram Moolenaar | 5983ad0 | 2016-03-05 20:54:36 +0100 | [diff] [blame] | 196 | elif decoded[1] == 'send zero': |
| 197 | cmd = '[0,"zero index"]' |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 198 | print("sending: {0}".format(cmd)) |
Bram Moolenaar | 5983ad0 | 2016-03-05 20:54:36 +0100 | [diff] [blame] | 199 | self.request.sendall(cmd.encode('utf-8')) |
| 200 | response = "sent zero" |
Bram Moolenaar | 4e221c9 | 2016-02-23 13:20:22 +0100 | [diff] [blame] | 201 | elif decoded[1] == 'close me': |
| 202 | print("closing") |
| 203 | self.request.close() |
| 204 | response = "" |
Bram Moolenaar | ece61b0 | 2016-02-20 21:39:05 +0100 | [diff] [blame] | 205 | elif decoded[1] == 'wait a bit': |
| 206 | time.sleep(0.2) |
| 207 | response = "waited" |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 208 | elif decoded[1] == '!quit!': |
| 209 | # we're done |
Bram Moolenaar | b3e2f00 | 2016-02-04 00:11:37 +0100 | [diff] [blame] | 210 | self.server.shutdown() |
Bram Moolenaar | b92abad | 2016-02-08 22:37:24 +0100 | [diff] [blame] | 211 | return |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 212 | elif decoded[1] == '!crash!': |
| 213 | # Crash! |
| 214 | 42 / 0 |
| 215 | else: |
| 216 | response = "what?" |
| 217 | |
Bram Moolenaar | f615728 | 2016-02-10 21:07:14 +0100 | [diff] [blame] | 218 | if response == "": |
| 219 | print("no response") |
| 220 | else: |
| 221 | encoded = json.dumps([decoded[0], response]) |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 222 | print("sending: {0}".format(encoded)) |
Bram Moolenaar | f615728 | 2016-02-10 21:07:14 +0100 | [diff] [blame] | 223 | self.request.sendall(encoded.encode('utf-8')) |
Bram Moolenaar | e7bed62 | 2016-02-03 22:20:29 +0100 | [diff] [blame] | 224 | |
| 225 | # Negative numbers are used for "eval" responses. |
| 226 | elif decoded[0] < 0: |
| 227 | last_eval = decoded |
Bram Moolenaar | fcb1e3d | 2016-02-03 21:32:46 +0100 | [diff] [blame] | 228 | |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 229 | class ThreadedTCPServer(socketserver.ThreadingMixIn, socketserver.TCPServer): |
| 230 | pass |
| 231 | |
Bram Moolenaar | 81661fb | 2016-02-18 22:23:34 +0100 | [diff] [blame] | 232 | def writePortInFile(port): |
| 233 | # Write the port number in Xportnr, so that the test knows it. |
| 234 | f = open("Xportnr", "w") |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 235 | f.write("{0}".format(port)) |
Bram Moolenaar | 81661fb | 2016-02-18 22:23:34 +0100 | [diff] [blame] | 236 | f.close() |
| 237 | |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 238 | if __name__ == "__main__": |
| 239 | HOST, PORT = "localhost", 0 |
| 240 | |
Bram Moolenaar | 81661fb | 2016-02-18 22:23:34 +0100 | [diff] [blame] | 241 | # Wait half a second before opening the port to test waittime in ch_open(). |
| 242 | # We do want to get the port number, get that first. We cannot open the |
| 243 | # socket, guess a port is free. |
| 244 | if len(sys.argv) >= 2 and sys.argv[1] == 'delay': |
| 245 | PORT = 13684 |
| 246 | writePortInFile(PORT) |
| 247 | |
| 248 | print("Wait for it...") |
| 249 | time.sleep(0.5) |
| 250 | |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 251 | server = ThreadedTCPServer((HOST, PORT), ThreadedTCPRequestHandler) |
| 252 | ip, port = server.server_address |
| 253 | |
Bram Moolenaar | 6076fe1 | 2016-02-05 22:49:56 +0100 | [diff] [blame] | 254 | # Start a thread with the server. That thread will then start a new thread |
| 255 | # for each connection. |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 256 | server_thread = threading.Thread(target=server.serve_forever) |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 257 | server_thread.start() |
| 258 | |
Bram Moolenaar | 81661fb | 2016-02-18 22:23:34 +0100 | [diff] [blame] | 259 | writePortInFile(port) |
Bram Moolenaar | d7ece10 | 2016-02-02 23:23:02 +0100 | [diff] [blame] | 260 | |
Bram Moolenaar | a63cdb5 | 2016-03-20 18:24:45 +0100 | [diff] [blame] | 261 | print("Listening on port {0}".format(port)) |
Bram Moolenaar | b3e2f00 | 2016-02-04 00:11:37 +0100 | [diff] [blame] | 262 | |
| 263 | # Main thread terminates, but the server continues running |
| 264 | # until server.shutdown() is called. |
Bram Moolenaar | ddbe7d2 | 2016-02-20 18:26:48 +0100 | [diff] [blame] | 265 | try: |
| 266 | while server_thread.isAlive(): |
| 267 | server_thread.join(1) |
| 268 | except (KeyboardInterrupt, SystemExit): |
| 269 | server.shutdown() |