#!/bin/sh
USERNAME=
PASSWORD=
EHOME=`echo $HOME | sed "s/#/\#/"`
EXT=`echo $GEDIT_CURRENT_DOCUMENT_NAME$1 | sed -e 's/.*\.//'`
DIRN=`pwd | sed -e 's/.*\///' -e 's/\/$//'`

echo EXT $EXT

rm -f .submitfile.zip
zip .submitfile.zip *.${EXT}

#java -Dioi.username=Student -Dioi.password=nopass "-Dioi.coursename=TEST"\
# "-Dioi.semester=TEST" -Dioi.server=158.108.180.35:8443\
# -jar ${HOME}/.RunC/submit.jar $DIRN \
# .submitfile.zip && echo submitted *.${EXT}

if [ "$USERNAME" = "" ]; then
    java "-Dioi.coursename=IOI2011practice" \
	"-Dioi.semester=Fall2011" -Dioi.server=practice.ioi2011.or.th:8443 \
	-jar ${HOME}/.RunC/submit.jar $DIRN \
	.submitfile.zip && echo submitted *.${EXT}
else
    java -Dioi.username=$USERNAME -Dioi.password=$PASSWORD \
	"-Dioi.coursename=IOI2011practice" \
	"-Dioi.semester=Fall2011" -Dioi.server=practice.ioi2011.or.th:8443 \
	-jar ${HOME}/.RunC/submit.jar $DIRN \
	.submitfile.zip && echo submitted *.${EXT}
fi