Explorar el Código

Die in case popd fails

Alois Mahdal hace 6 años
padre
commit
44b11e3579
Se han modificado 1 ficheros con 4 adiciones y 1 borrados
  1. 4
    1
      src/jat.sh.skel

+ 4
- 1
src/jat.sh.skel Ver fichero

@@ -708,10 +708,13 @@ jat__pend() {
708 708
     # End active phase
709 709
     #
710 710
     local oldpdir
711
+    local oldpwd
711 712
     oldpdir=$(__jat__sd_keyR P.pdir)
713
+    oldpwd=$(__jat__sd_keyR P.PWD)
712 714
     test -n "$oldpdir" && {
713 715
         jat__log_info "changing back from phase dir: $oldpdir"
714
-        popd >/dev/null
716
+        popd >/dev/null \
717
+         || jat__die "failed to go back from phase dir: $oldpdir to $oldpwd"
715 718
     }
716 719
     __jat__show_pend
717 720
     __jat__pdummy