Make Origin-Host the node identifier instead of origin-realm

[anna.git] / example / diameter / launcher / resources / scripts / clone.sh

diff --git a/example/diameter/launcher/resources/scripts/clone.sh b/example/diameter/launcher/resources/scripts/clone.sh
index d392097..c9b7a66 100755 (executable)
--- a/example/diameter/launcher/resources/scripts/clone.sh
+++ b/example/diameter/launcher/resources/scripts/clone.sh
@@ -216,12 +216,18 @@ do
   echo -n .
   r_file=`readlink -f $file`
   dn_r_file=`dirname $r_file`
-  #bn_dn_r_file=`basename $dn_r_file`
-  #echo "Programming group $bn_dn_r_file ..."
-  $OPERATION -f $r_file >/dev/null
+  #$OPERATION -f $r_file >/dev/null
+  $OPERATION -f $r_file > $dn_r_file/result.txt
   res=$?
-  #$OPERATION -f $r_file > $dn_r_file/result.txt
-  [ $res -ne 0 ] && _exit "Exception detected programming a testcase:\n\n`cat $r_file`"
+  if [ $res -ne 0 ]
+  then
+    bn_dn_r_file=`basename $dn_r_file`
+    exception_dir=$ADML_DIR/exception_stuff_${bn_dn_r_file}
+    rm -rf $exception_dir
+    cp -r $dn_r_file $exception_dir
+    cp $ADML_DIR/launcher.trace $exception_dir
+    _exit "Exception detected programming a testcase. Check for '$exception_dir'"
+  fi
   rm -rf $dn_r_file &
 done