Jenga processes stick around after the build

[vramana]

Jenga version 113.33.03
Ubuntu 16.04

Is this normal behaviour? I can reproduce behaviour with hello-explict example. Everytime jenga build is run three new jenga process are spawned. Probably I am using jenga wrongly.

cc @diml

[ghost]

Unless you are running jenga with -P, the jenga processes shouldn't stay alive after the vuild finishes. Can you try with the development version? You need to add our development opam repository:

opam repo add janestreet https://github.com/janestreet/opam-repository.git

[vramana]

Sorry for the late reply. Yes it is still happening with the latest version of jenga

opam info jenga

→ opam info jenga
package: jenga
version: 114.08+89
repository: js
upstream-url: git://github.com/janestreet/jenga#2ec864adae26ce6101491aec4d94a632fb4e0a2c
upstream-kind: git
homepage: https://github.com/janestreet/jenga
bug-reports: https://github.com/janestreet/jenga/issues
dev-repo: https://github.com/janestreet/jenga.git
author: Jane Street Group, LLC opensource@janestreet.com
license: Apache-2.0
depends: ocamlbuild & oasis >= 0.4 & ocamlfind >= 1.3.2 & async & async_inotify & async_parallel & bin_prot & core & fieldslib & js-build-tools & ocaml_plugin & ppx_assert & ppx_bench & ppx_driver & ppx_expect & ppx_hash & ppx_inline_test & ppx_jane & re & sexplib & typerep & variantslib
installed-versions: 113.33.03 [4.02.3], 114.08+89 [4.03.0]
available-versions: 109.14.00, 109.15.00, 109.17.00, 109.18.00, 109.19.00, 109.20.00, 109.21.00, 109.22.00, 109.23.00, 109.24.00, 109.27.00, 109.28.00, 109.30.00, 109.31.00, 109.32.00, 109.33.00, 109.34.00, 109.35.00, 109.36.00, 109.37.00, 109.38.00, 109.40.00, 109.41.00, 109.42.00, 109.45.00, 109.47.00, 109.53.00, 109.55.00, 109.55.02, 109.55.03, 109.58.00, 111.03.00, 111.06.00, 111.08.00, 111.08.01, 111.17.00, 111.21.00, 111.25.00, 111.28.00, 112.01.00, 112.06.00, 112.17.00, 112.24.00, 112.35.00, 113.00.00, 113.24.00, 113.24.02, 113.33.00, 113.33.00+4.03, 113.33.03, 114.08+89
description: Build system