Changed user identification from using $WHO to $USER.

1 files changed, 3 insertions, 3 deletions

diff --git a/tools/add_file b/tools/add_file
index dbd49b8..bca1cd3 100755
--- a/tools/add_file
+++ b/tools/add_file
@@ -9,17 +9,17 @@ function allfile() {
   echo " *  `date`" >> $1;
   echo -n " *  Copyright " >> $1
   echo -n `date +%Y | xargs` >> $1
-  if [ "$WHO" == "nemo" ];
+  if [ "$USER" == "nemo" ];
   then
       echo " Jonas Suhr Christensen" >> $1;
       echo " *  jsc@umbraculum.org" >> $1;
   fi
-  if [ "$WHO" == "deva" ];
+  if [ "$USER" == "deva" ];
   then
       echo " Bent Bisballe Nyeng" >> $1;
       echo " *  deva@aasimon.org" >> $1;
   fi
-  if [ "$WHO" == "senator" ];
+  if [ "$USER" == "senator" ];
   then
       echo " Lars Bisballe Jensen" >> $1;
       echo " *  elsenator@gmail.com" >> $1;