diff options
| author |  VcamX <vcamx3@gmail.com> | 2016-03-07 13:08:38 +0800 |
|---|---|---|
| committer | VcamX <vcamx3@gmail.com> | 2016-03-07 13:08:38 +0800 |
| commit | 208fd6b339364f9677bbcdfc3bb955ca908fbe2e (patch) | |
| tree | bd64e746d6ae84fc929bc82274499a9a12c5196d /examples/python/route_guide | |
| parent | 72724bce84b4bc027ce8dd3f7508b9216788434b (diff) | |
Set grace=0 to server stop in route_guide
Fix #5619
Diffstat (limited to 'examples/python/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() |