#!/bin/sh

NAME="$1"

URL=https://www.stura.tu-chemnitz.de/filter
DIR=/stura/httpd/html/filter

if [ "$NAME" != "" ] ; then
	NAME=`echo $NAME |tr "\ " "_"`
	TEMPFILE=$DIR/$NAME
else
	TEMPFILE=`tempfile -d $DIR`
fi
cat > "$TEMPFILE"

echo "$URL/`basename $TEMPFILE`"
chmod 644 $TEMPFILE