diff options
author | Masood Malekghassemi <soltanmm@users.noreply.github.com> | 2016-03-07 19:02:46 -0800 |
---|---|---|
committer | Masood Malekghassemi <soltanmm@users.noreply.github.com> | 2016-03-07 19:02:46 -0800 |
commit | dba948569a90fa12b4d024555e559c1abfc75607 (patch) | |
tree | db3ffeb7d4e8cea965a4292b5267be387360a19b | |
parent | 838531e7cba78acee8f86faef90bf119046c6173 (diff) | |
parent | 208fd6b339364f9677bbcdfc3bb955ca908fbe2e (diff) |
Merge pull request #5620 from VcamX/patch-1
Set grace=0 to server stop in route_guide
-rw-r--r-- | examples/python/route_guide/route_guide_server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/python/route_guide/route_guide_server.py b/examples/python/route_guide/route_guide_server.py index f23b98bf36..24f948c42c 100644 --- a/examples/python/route_guide/route_guide_server.py +++ b/examples/python/route_guide/route_guide_server.py @@ -128,7 +128,7 @@ def serve(): while True: time.sleep(_ONE_DAY_IN_SECONDS) except KeyboardInterrupt: - server.stop() + server.stop(0) if __name__ == '__main__': serve() |