diff options
| author |  Masood Malekghassemi <soltanmm@users.noreply.github.com> | 2015-11-16 16:48:44 -0800 |
|---|---|---|
| committer | Masood Malekghassemi <soltanmm@users.noreply.github.com> | 2015-11-16 16:48:44 -0800 |
| commit | 77ebadc6624c8adc589068261361e1b29d2f060c (patch) | |
| tree | 2f6d09cba748d704a9a6283a0f8a2eee7ffd8f57 | |
| parent | 118c0a0eec5cedfb4d610483c3e26dacf71bcd4a (diff) | |
Add grace=0 to server stop in Python example
Fixes #4122
| -rw-r--r-- | examples/python/helloworld/greeter_server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/python/helloworld/greeter_server.py b/examples/python/helloworld/greeter_server.py index 1514d8f270..2cde5add43 100644 --- a/examples/python/helloworld/greeter_server.py +++ b/examples/python/helloworld/greeter_server.py @@ -50,7 +50,7 @@ def serve(): while True: time.sleep(_ONE_DAY_IN_SECONDS) except KeyboardInterrupt: - server.stop() + server.stop(0) if __name__ == '__main__': serve() |