Initial commit.

1 files changed, 169 insertions, 0 deletions

diff --git a/run.sh b/run.sh
new file mode 100755
index 000000000000..b4e56810b964
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,169 @@
+#!/usr/bin/env sh
+
+#
+# run.sh
+#
+# Copyright (C) 2016 frnmst (Franco Masotti) <franco.masotti@student.unife.it>
+#
+# This file is part of cplint-installer.
+#
+# cplint-installer is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# cplint-installer is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with cplint-installer.  If not, see <http://www.gnu.org/licenses/>.
+#
+#
+
+pkg_dir="/opt/rserve-sandbox-docker"
+pid_file="/run/rserve-sandbox-docker.pid"
+user="rsd"
+group="rsd"
+docker_image_name="rserve"
+
+help()
+{
+    cat<<-EOF
+rsd [OPTION]
+Docker spec for running Rserve in a sandbox
+
+The first time rserve-sandbox-docker is executed,
+a docker image will be downloaded. This operation might take a while.
+
+Only a single option is permitted.
+    -h      print this help
+    -k      kill rsd
+    -s      start rsd
+
+Exit status:
+ 0  if OK,
+ 1  some error occurred.
+
+Full documentation at: <https://github.com/frnmst/rserve-sandbox>
+EOF
+}
+
+# Kill ideas (deprecated).
+    # This addresses only docker containers available to rsd:rsd.
+    # Simple solution.
+
+
+    # More complex solution requires deleting all containers (running and 
+    # stopped) matching rserve-sandbox-docker
+    # If this is not done, the hard disk might get full quickly.
+    # Something like the following might be useful.
+    #
+    # containers="$(docker ps -a -f status=exited \
+#--format \"{{.ID}}\\t{{.Image}}\" | grep rserve-sandbox-docker)"
+    # echo "$containers" | awk '{print $1} | xargs docker rm
+
+    # Or simply add rm option to the makefile
+
+initialize()
+{
+    # Check if rserve image does not exist.
+    if [ -z "$(docker images -q "$docker_image_name")" ]; then
+        printf "This might take a while\n"
+        make image
+    fi
+}
+
+startd()
+{
+    local pid=""
+
+    {
+        (
+            cd "$pkg_dir"
+            initialize && make run
+        ) &
+        pid="$!"
+    } 1>/dev/null 2>/dev/null
+
+    write_pid_file "$pid"
+}
+
+#
+# shared_functions.sh
+#
+# Copyright (C) 2016 frnmst (Franco Masotti) <franco.masotti@student.unife.it>
+#
+# This file is part of cplint-installer.
+#
+# cplint-installer is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# cplint-installer is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with cplint-installer.  If not, see <http://www.gnu.org/licenses/>.
+#
+#
+
+# This file is used by the various run.sh.
+
+check_running_user_and_group()
+{
+    if [ "$(id -un)" = "$user" ] && [ "$(id -gn)" = "$group" ]; then
+        :
+    else
+        printf "User must be "$user"\n"
+        printf "Group must be "$group"\n"
+        return 1
+    fi
+}
+
+write_pid_file()
+{
+    local pid="$1"
+
+    if [ -n "$pid" ]; then
+        printf "Server running with pid $pid\n"
+        printf "$pid\n" > "$pid_file"
+    else
+        printf "Server error\n"
+        return 1
+    fi
+}
+
+killd()
+{
+    # kill action only if process exists.
+    if [ -f "$pid_file" ]; then
+        pid=$(cat "$pid_file")
+        ps -q $pid > /dev/null
+        if [ $? -eq 0 ]; then
+            kill -s SIGTERM $pid
+        fi
+    fi
+}
+
+option_parser()
+{
+    getopts ":hks" opt "$@"
+    case "$opt" in
+        h) help ;;
+        k) killd ;;
+        s) startd ;;
+        ?) help; return 1 ;;
+    esac
+}
+
+main()
+{
+    check_running_user_and_group && option_parser "$@"
+}
+
+main "$@"