utility script to clear EJB timer info (in case of problems during up…

doc/sphinx-guides/source/_static/util/clear_timer.sh

@@ -0,0 +1,33 @@
+#!/bin/sh
+
+# EBJ timers sometimes cause problems; utility to clear generated directories and database rows
+
+# assumes this script is being run as root, and that the postgres user had passwordless 
+# access to the database (local sockets, or appropriate environmental variables).
+
+# will restart glassfish if it's stopped; comment out the `start-domain` command at the end
+# if you'd like to avoid that.
+
+# directory where glassfish is installed
+GLASSFISH_DIR=/usr/local/glassfish4
+
+# directory within glassfish (defaults)
+DV_DIR=${GLASSFISH_DIR}/glassfish/domains/domain1
+
+# name of dataverse database
+DV_DB=dvndb
+
+# OS user for the database
+DB_USER=postgres
+
+# stop the glassfish domain (generates a warning if glassfish is stopped)
+${GLASSFISH_DIR}/bin/asadmin stop-domain
+
+rm -rf ${GLASSFISH_DIR}/${DV_DIR}/generated/
+rm -rf ${GLASSFISH_DIR}/${DV_DIR}/osgi-cache/felix
+
+sudo -u ${DB_USER} psql ${DV_DB} -c 'delete from "EJB__TIMER__TBL"';
+
+# restart the domain (also generates a warning if glassfish is stopped)
+${GLASSFISH_DIR}/bin/asadmin start-domain
+