Mercurial > repos > gga > genenotebook_genenotebook_build

annotate kill_gnb.sh @ 4:ace14a8ac6e4 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 81226a2f347b2dc273546311e7269c07f0b0f485
author gga
date Tue, 10 Oct 2023 15:29:02 +0000
parents 5a6050937cb9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
1 #!/bin/bash
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
2
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
3 # Make sure everything is cleaned (including job queue)
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
4 sleep 5
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
5
2
5a6050937cb9 planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit ec3c633a0751bb9e253bcd77fea425180c9a0014
gga
parents: 0
diff changeset
6 # Print server log
5a6050937cb9 planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit ec3c633a0751bb9e253bcd77fea425180c9a0014
gga
parents: 0
diff changeset
7 echo ""
5a6050937cb9 planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit ec3c633a0751bb9e253bcd77fea425180c9a0014
gga
parents: 0
diff changeset
8 echo "--- 'genoboo run' stopped, printing logs (server side) ---"
5a6050937cb9 planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit ec3c633a0751bb9e253bcd77fea425180c9a0014
gga
parents: 0
diff changeset
9 cat ./gnb.log
5a6050937cb9 planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit ec3c633a0751bb9e253bcd77fea425180c9a0014
gga
parents: 0
diff changeset
10
0
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
11 # Kill GeneNoteBook
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
12 kill $GNB_PID
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
13
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
14 sleep 5
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
15
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
16 # Kill MongoDB
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
17 kill $(<"./mongo.pid")
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
18
22f22c3e81bf planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 12282c16658b37858f49944796fd95515ef0fc0b
gga
parents:
diff changeset
19 sleep 5