[Server] do not throw Yojson exception anymore
Showing
- src/plugins/server/data.ml 19 additions, 6 deletionssrc/plugins/server/data.ml
- src/plugins/server/data.mli 9 additions, 3 deletionssrc/plugins/server/data.mli
- src/plugins/server/kernel_ast.ml 6 additions, 4 deletionssrc/plugins/server/kernel_ast.ml
- src/plugins/server/kernel_main.ml 1 addition, 1 deletionsrc/plugins/server/kernel_main.ml
- src/plugins/server/main.ml 1 addition, 15 deletionssrc/plugins/server/main.ml
- src/plugins/server/main.mli 0 additions, 15 deletionssrc/plugins/server/main.mli
- src/plugins/server/request.ml 3 additions, 3 deletionssrc/plugins/server/request.ml
Loading
Please register or sign in to comment