diff options
Diffstat (limited to 'database/virtuoso/PREPARE')
| -rwxr-xr-x | database/virtuoso/PREPARE | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/database/virtuoso/PREPARE b/database/virtuoso/PREPARE new file mode 100755 index 0000000000..1c29d65277 --- /dev/null +++ b/database/virtuoso/PREPARE @@ -0,0 +1,7 @@ +config_query_list VIRT_VER 'which version to build?' stable devel && +# check for running server + (ps -A | grep virtuoso) && + message ${PROBLEM_COLOR}please stop the virtuoso server and try again\ + ${DEFAULT_COLOR} && + return 1 +return 0 |