since we use /tmp now, no more need to hide files. some categorizing (tagging) of files is useful though

1 files changed, 1 insertions, 1 deletions

diff --git a/src/aif.sh b/src/aif.sh
index b2662eb..2e3eac9 100755
--- a/src/aif.sh
+++ b/src/aif.sh
@@ -103,7 +103,7 @@ load_procedure()
 	if [ "$1" = 'http:' ]
 	then
 		log "Loading procedure $2 ..."
-		procedure=$RUNTIME_DIR/procedure-downloaded-`basename $2`
+		procedure=$RUNTIME_DIR/aif-procedure-downloaded-`basename $2`
 		wget "$2" -q -O $procedure >/dev/null || die_error "Could not download procedure $2" 
 	else
 		log "Loading procedure $1/procedures/$2 ..."