Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
check ISABELLE_BROWSER_INFO before cd;
authorwenzelm
Thu, 06 Mar 2008 23:30:36 +0100
changeset 26230 ba4f5954843d
parent 26229 116d3cfc0d89
child 26231 cd9d7f449369
check ISABELLE_BROWSER_INFO before cd;
lib/Tools/browser file | annotate | diff | comparison | revisions 
--- a/lib/Tools/browser	Thu Mar 06 21:53:29 2008 +0100
+++ b/lib/Tools/browser	Thu Mar 06 23:30:36 2008 +0100
@@ -64,7 +64,7 @@
 export CLASSPATH="$(javapath "$ISABELLE_HOME/lib/browser/GraphBrowser.jar")"
 
 if [ -z "$GRAPHFILE" ]; then
-  cd "$ISABELLE_BROWSER_INFO"
+  [ -d "$ISABELLE_BROWSER_INFO" ] && cd "$ISABELLE_BROWSER_INFO"
   exec java GraphBrowser.GraphBrowser
 else
   PRIVATE_FILE="${ISABELLE_TMP:-/tmp}/$$"$(basename "$GRAPHFILE")
isabelle