Changeset 27830
- Timestamp:
- 2013-07-12T17:30:55+12:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/gs3-server.sh
r20188 r27830 24 24 } 25 25 26 check_gsdl3home_writable() { 27 28 echo "Checking if the Greenstone3 web directory is writable ..." 29 (echo "This is a temporary file. It is safe to delete it." > "$GSDL3HOME/testing.tmp" ) 2>/dev/null 30 if [ -e "$GSDL3HOME/testing.tmp" ] ; then 31 /bin/rm "$GSDL3HOME/testing.tmp" 32 gsdl3home_isreadonly=0 33 echo " ... yes." 34 else 35 gsdl3home_isreadonly=1 36 gsdl3_writablehome="/tmp/greenstone/web" 37 38 echo " ... no." 39 echo "Setting Greenstone3 web home writable area to be: $gsdl3_writablehome" 40 fi 41 } 26 42 27 43 echo "Greenstone 3 Server" … … 46 62 popd > /dev/null 47 63 64 check_gsdl3home_writable 65 66 opt_properties= 67 if [ $gsdl3home_isreadonly = 1 ] ; then 68 opt_properties="-Dgsdl3home.isreadonly=true -Dgsdl3.writablehome=$gsdl3_writablehome" 69 fi 70 48 71 # JRE_HOME or JAVA_HOME must be set correctly to run this program 49 72 HINT="`pwd`/packages/jre" … … 54 77 pushd "$gsdl3path" > /dev/null 55 78 56 "$javapath" org.greenstone.server.Server3 "$GSDL3SRCHOME" $serverlang79 "$javapath" $opt_properties org.greenstone.server.Server3 "$GSDL3SRCHOME" $serverlang 57 80 58 81 popd > /dev/null
Note:
See TracChangeset
for help on using the changeset viewer.