diff options
| author | PiergiorgioZagaria | 2022-08-30 02:02:34 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-30 02:02:34 +0000 |
| commit | d2cec25395e01ded0977c1314e377cb24186c6c5 (patch) | |
| tree | 5211701833b61a31489ed732de828079bbc0f976 /runtime/queries/ocaml | |
| parent | 5f043dde56c20e694078ceb46aac5f053327196c (diff) | |
Fix process spawning error handling (#3349)
* Fix process spawning error handling
* Log stderr in any case
Diffstat (limited to 'runtime/queries/ocaml')
0 files changed, 0 insertions, 0 deletions