Menu
▾
▴
[DrJava] [ drjava-Bugs-3469519 ] Sometimes incorrect working directory on Windows
|
From: SourceForge.net <no...@so...> - 2012-01-04 20:43:40
|
Bugs item #3469519, was opened at 2012-01-04 12:43 Message generated for change (Tracker Item Submitted) made by stephendgilbert You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3469519&group_id=44253 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Other Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stephen Gilbert (stephendgilbert) Assigned to: Nobody/Anonymous (nobody) Summary: Sometimes incorrect working directory on Windows Initial Comment: When DrJava starts it uses the system variable user.home to display or set the working directory in the interactions pane. Unfortunately, because of a bug in the JDK (#4787931 on the top 25 list), that sometimes isn't actually the user's home folder. Specifically, when in a college lab setting with copied profiles, the JDK is relying on an obsolete registry key to find the user's home. Dr Java doesn't rely on this property property to store the configuration file (which is correctly stored in each student's home profile directory), but it does use this value to display the "Working Directory" message when you first start the interactions pane. Afterwards, when the student has navigated to another directory, the value is read from the DrJava config file instead, so the problem only appears when the program is started for the first time, and when used in a lab environment where the student profiles are different than the profile of the installation. Also, once Oracle fixes the bug, then this problem will disappear as well. The problem also doesn't seem to occur on our Windows or Linux machines. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3469519&group_id=44253 |