Merge pull request #279 from gnes-ai/dump-frontend-route

fix(frontend): flush dump
gnes-ai · Sep 24, 2019 · 91e52b1 · 91e52b1
2 parents c995579 + 7c276f0
commit 91e52b1
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/docs/index.rst b/docs/index.rst
@@ -62,6 +62,12 @@ Highlights
 
    api/gnes
 
+.. toctree::
+   :maxdepth: 1
+   :caption: Miscs
+
+   chapter/troubleshooting.md
+   chapter/protobuf-dev.md
 
 .. toctree::
    :maxdepth: 2
@@ -83,13 +89,6 @@ Tutorials
    🚧 Tutorial is still under construction. Stay tuned! Meanwhile, we sincerely welcome you to contribute your own learning experience / case study with GNES!
 
 
-.. toctree::
-   :maxdepth: 1
-   :caption: Miscs
-
-   chapter/troubleshooting.md
-   chapter/protobuf-dev.md
-
 
 Indices and tables
 ==================

diff --git a/gnes/service/frontend.py b/gnes/service/frontend.py
@@ -83,6 +83,7 @@ def remove_envelope(self, m: 'gnes_pb2.Message'):
                 self.logger.info('route table: \n%s' % make_route_table(m.envelope.routes, exclude_frontend=True))
             if self.args.dump_route:
                 self.args.dump_route.write(MessageToJson(m.envelope, indent=0).replace('\n', '') + '\n')
+                self.args.dump_route.flush()
             return resp
 
         def Call(self, request, context):