Menu

Commit [r3977]  Maximize  Restore  History

Fixes bug report

[ 1543649 ] The [-config] argument does not work.
After the separation of DrJava and DrJavaRoot, the command
line arguments were not properly passed along. I also removed
the cludgy hack to enable the debug console by passing
"path.separator" as argument. Now DrJavaRoot invokes
DrJava.handleCommandLineArgs, and all parsing is done there.
Changed the parser; for multi-word arguments such as
"-config foo.bar", it did not properly skip the 2nd word.
M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/DrJavaRoot.java

mgricken 2006-08-21

changed /trunk/drjava/src/edu/rice/cs/drjava/DrJava.java
changed /trunk/drjava/src/edu/rice/cs/drjava/DrJavaRoot.java
/trunk/drjava/src/edu/rice/cs/drjava/DrJava.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/DrJavaRoot.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB