cli: fix rpc-serve default port
Description
Description
Details
Details
- Provenance
seirl Authored on Oct 1 2019, 9:56 AM seirl Pushed on Oct 1 2019, 10:10 AM - Differential Revision
- D1991: Reimplement REST API in Python with Py4J + aiohttp
- Parents
- rDGRPH4dc18acacbda: server: move serve command to cli.py
- Branches
- Unknown
- Tags