Merge pull request #91 from abretaud/patch-1

Fix stopping of gx-it-proxy
galaxyproject · Dec 5, 2022 · 0d069b2 · 0d069b2
2 parents 1b7420b + bb78894
commit 0d069b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gravity/process_manager/supervisor_manager.py b/gravity/process_manager/supervisor_manager.py
@@ -152,6 +152,7 @@
 numprocs        = 1
 stdout_logfile  = {log_file}
 redirect_stderr = true
+stopasgroup     = true
 {process_name_opt}
 """