#1 make install may add a script to /etc/rc.d/init.d

open
nobody
None
5
2013-01-11
2006-04-19
Anonymous
No

make install should add a script to start/stop Virtuoso
when init level changes, if the installation can access
/etc/rc.d/init.d . If permissions are not sufficient,
it can leave the script somewhere inside installation
destination path and notify the user.

In any case, the installation should not run chkconfig,
just suggest the user to make this step.

It should be easy to add and remove servers that should
be started/stopped. A probable approach is to have
start() / stop() / status() / restart() functions that
will get parameters like
-- working path
-- OS user that should start the executable
-- name of virtuoso.ini file
-- ISQL and HTTP port numbers, to double check that
numbers against numbers stored in the specified ini
file.

imikhailov@openlinksw.com

Discussion