Bugs item #741289, was opened at 2003-05-21 18:23
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=741289&group_id=44253
Category: Config Framework
Group: Serious
Status: Open
Resolution: None
Priority: 7
Submitted By: Charles Reis (csreis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Cannot save prefs in Windows
Initial Comment:
An error message is displayed any time DrJava tries to
save the config options in Windows (either in the
Preferences window or when trying to quit). The
changes are not saved.
Could Not Save Changes
Could not save changes to your '.drjava' file
in your home directory.
java.io.IOException: Save failed: Could not rename temp
file C:\Documents and Settings\creis\drjava5547.temp to
C:\Documents and Settings\creis\.drjava
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=741289&group_id=44253
|
