changeset 11867 | 76401b2ee871 |
parent 11843 | 3dc60e93064f |
child 11900 | f8f37d61fbc2 |
11866:fbd097aec213 | 11867:76401b2ee871 |
---|---|
76 esac |
76 esac |
77 |
77 |
78 if [ -z "$OUTFILE" ]; then |
78 if [ -z "$OUTFILE" ]; then |
79 java GraphBrowser.GraphBrowser "$GRAPHFILE" |
79 java GraphBrowser.GraphBrowser "$GRAPHFILE" |
80 else |
80 else |
81 unset DISPLAY #paranoia setting |
|
82 java GraphBrowser.GraphBrowser "$GRAPHFILE" "$OUTFILE" |
81 java GraphBrowser.GraphBrowser "$GRAPHFILE" "$OUTFILE" |
83 fi |
82 fi |
84 RC="$?" |
83 RC="$?" |
85 |
84 |
86 if [ -n "$PDF" ]; then |
85 if [ -n "$PDF" ]; then |