mirror/dolt
1
0
Fork 0
mirror of https://github.com/dolthub/dolt.git synced 2026-01-29 19:10:13 -06:00
Code Issues Packages Projects Releases 123 Wiki Activity

Make stop_server.sh script tolerate noms-server not existing

Browse Source
This commit is contained in:
Chris Masone
2015-11-16 14:05:42 -08:00
parent 1cbdf794e4
commit aff973a165
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
deployment/scripts/stop_server.sh
View File

@@ -1,2 +1,2 @@
#!/bin/sh
service stop noms-server
[[ `service status noms-server 2> /dev/null` ]] && service stop noms-server