view kill_gnb.sh @ 13:eae124b1e1f1 draft default tip

planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 27cd61679954c8a70075dbc190e3f246b0b6c7f4
author gga
date Tue, 15 Jul 2025 13:09:49 +0000
parents 5a6050937cb9
children
line wrap: on
line source

#!/bin/bash

# Make sure everything is cleaned (including job queue)
sleep 5

# Print server log
echo ""
echo "--- 'genoboo run' stopped, printing logs (server side) ---"
cat ./gnb.log

# Kill GeneNoteBook
kill $GNB_PID

sleep 5

# Kill MongoDB
kill $(<"./mongo.pid")

sleep 5