Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:jirislaby:stanse
stanse
remove_STANSE_HOME.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File remove_STANSE_HOME.patch of Package stanse
--- src/cz/muni/stanse/Stanse.java | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) --- a/src/cz/muni/stanse/Stanse.java +++ b/src/cz/muni/stanse/Stanse.java @@ -313,17 +313,7 @@ public final class Stanse { } private static String buildRootDirectory() { - String rootDirectory = System.getenv("STANSE_HOME"); - if (rootDirectory == null) { - System.err.println("STANSE_HOME not specified. Using the " + "location of stanse.jar."); - try { - rootDirectory = new File(ClassLocation.get("cz.muni.stanse.Stanse")).getParent(); - } catch (final ClassNotFoundException e) { - e.printStackTrace(); - rootDirectory = new File(".").getAbsolutePath(); - } - } - return rootDirectory; + return new File(".").getAbsolutePath(); } private static UnitManager unitManager = new UnitManagerLRU();
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor