#!/bin/bash -e
source "$HOME/.codecoop"
cd "$HOME/tmp/"
COOKIE=`wget -S --post-data "return_to=&form_loginname=$CODECOOP_USER&form_pw=$CODECOOP_PASSWD&login=Login+with+SSL" https://codecoop.org/account/login.php --output-document=/dev/null &> /dev/stdout | fgrep -i 'set-cookie: session_ser=' | sed -e 's/.*cookie: session_ser=/Cookie: session_ser=/gi'`
cd "$CODECOOP_BACKUP"
FILES=`wget -S --cookies=off --header "$COOKIE" "$1" &> /dev/stdout | grep -Ei '(=> |content-disposition: filename=)' | sed -e "s/^.*=> .\([^']*\).*$/\1/g" -e 's/^.*content-disposition: filename="\([^"]*\)"$/\1/gi'`
mv -f $FILES ;
