df=$proj.tar.bz2 # download file
url=http://$server/versions/$df
kf="$dir/key.anonymous" # key file
key_url=http://$server/key.anonymous
socket="$dir/socket"
df=$proj.tar.bz2 # download file
url=http://$server/versions/$df
kf="$dir/key.anonymous" # key file
key_url=http://$server/key.anonymous
socket="$dir/socket"