| changeset 11949 | 38e20c036e37 |
| parent 11907 | f2a5481c7998 |
| child 12912 | 0e144958cf27 |
--- a/lib/Tools/usedir Fri Oct 26 18:16:31 2001 +0200 +++ b/lib/Tools/usedir Fri Oct 26 18:16:45 2001 +0200 @@ -168,7 +168,9 @@ PARENT=$(basename "$LOGIC") -[ -z "$BUILD" ] && cd "$NAME" +if [ -z "$BUILD" ]; then + cd "$NAME" || fail "Bad session directory '$NAME'" +fi if [ "$DOCUMENT" != false ]; then DOC="$DOCUMENT"