Bureaucrats, editor, reviewer, Administrators
13,550
edits
Changes
Jump to navigation
Jump to search
no edit summary
public Context(String data_dir) {
this(true, (Prop.HOME = data_dir + "/"), (Prop.USERHOME = data_dir + "/"));
File dir = new File(Prop.HOME + , "BaseXDatabasex/data");
if(!dir.exists()) {
if(!dir.mkdir()) {
