Enable to override the default value of graphdb.workbench.importDirectory

[vassilmomtchev]

After creating GDB instance with Puppet the default value of graphdb.workbench.importDirectory is pointed to /home/graphdb/graphdb-import (there is no such directory /home/graphdb/ because the user graphdb is used only to start the service). I suggest adding a new configuration parameter like import_dir, so I can use the manifest below:

class{ 'graphdb': version => '8.4.1', edition => 'ee', tmp_dir => '/opt/graphdb/tmp', data_dir => '/opt/graphdb/data', log_dir => '/opt/graphdb/log', install_dir => '/opt/graphdb/install', import_dir => '/opt/graphdb/import', }
Note: import_dir the new parameter which does not exist right now