diff kill_gnb.sh @ 0:22f22c3e81bf draft

planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
author gga
date Wed, 11 Jan 2023 11:49:13 +0000
parents
children 5a6050937cb9
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kill_gnb.sh	Wed Jan 11 11:49:13 2023 +0000
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# Make sure everything is cleaned (including job queue)
+sleep 5
+
+# Kill GeneNoteBook
+kill $GNB_PID
+
+sleep 5
+
+# Kill MongoDB
+kill $(<"./mongo.pid")
+
+sleep 5