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
