developer has no rpuffer access, so just rgetem

diff --git a/scripts/site_avenger/revamp_cakelampvm.sh b/scripts/site_avenger/revamp_cakelampvm.sh
index fa9d0361511f240f4d54269805fbc31917e3a93f..950ad5bcae0a763c1d5e2eb766ba5dd9784fe101 100644 (file)
--- a/scripts/site_avenger/revamp_cakelampvm.sh
+++ b/scripts/site_avenger/revamp_cakelampvm.sh
@@ -139,7 +139,7 @@ test_or_die "changing dir to fred's home; what have you done with fred?"
 pushd apps/mapsdemo/avenger5
 test_or_die "changing dir to mapsdemo app"
 
-rpuffer . &>/dev/null
+rgetem . &>/dev/null
 if [ $? -ne 0 ]; then
   # it seems our old files are still conflicting this.
   if [ -f config/config_google.php ]; then
@@ -154,9 +154,9 @@ if [ $? -ne 0 ]; then
   git reset --hard HEAD
   test_or_die "resetting git's hard head"
 
-  rpuffer .
+  rgetem .
 #hmmm: use output saver thing when that exists.
-  test_or_die "puffing out mapsdemo app after inadequate corrective action was taken"
+  test_or_die "getting mapsdemo app after inadequate corrective action was taken"
 fi
 
 popd