- Aug 21, 2024
-
-
vlorentz authored
-
- Aug 20, 2024
-
-
vlorentz authored
This makes 'make java' go from 11 to 8 seconds (with a warm cache of dependencies), and the uber JAR from 60 to 46MB.
-
- Jan 09, 2024
-
-
vlorentz authored
-
- Nov 29, 2023
-
-
David Douard authored
-
- Sep 12, 2022
-
-
David Douard authored
rework the configuration used by `make_app()` so that one can start the http server usig an existing grpc server by a setting the configuration file accordingly. This make the `make_app()` function only accept one config structure (dict), which structure would be: graph: cls: local grpc_server: # config for spawn_java_grpc_server() ... http_rpc_server: # config for GraphServerApp() ... or: graph: cls: remote url: # host:port of the running grpc server ... http_rpc_server: # config for GraphServerApp() ... This also comes wit a few other refactorings: - rename swh/graph/rpc/ as swh/graph/grpc/ to prevent confusion with the (http) rpc server. - similarly, rename swh/graph/rpc_server.py as swh/graph/grpc_server.py - and rename swh/graph/http_server.py as swh/graph/http_rpc_server.py - remove the "graph" config section from the grpc_server config structure (it had only the "path" config entry).
-
- Sep 08, 2022
-
-
vlorentz authored
-
- Jun 15, 2022
-
-
Antoine Pietri authored
-
- Nov 09, 2019
-
-
Stefano Zacchiroli authored
-
- Nov 06, 2019
-
-
Stefano Zacchiroli authored
no longer needed extra indirection
-
- Nov 05, 2019
-
-
Stefano Zacchiroli authored
-
- Nov 03, 2019
-
-
Stefano Zacchiroli authored
-
- Sep 30, 2019
-
-
Antoine Pietri authored
-