Mercurial > repos > gga > genenotebook_genenotebook_build
annotate kill_gnb.sh @ 6:12494257f0f0 draft
planemo upload for repository https://github.com/galaxy-genome-annotation/galaxy-tools/tree/master/tools/genenotebook commit 5ad4d3b59c746740b22834fbef55e3e6170b52a8
author | gga |
---|---|
date | Fri, 17 Nov 2023 15:53:01 +0000 |
parents | 5a6050937cb9 |
children |
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 |