158
158
for many parts of IVLE to operate properly, so it should be configured to
159
159
start on boot. There is an example init script in
160
160
``examples/config/usrmgt-server.init``. For Debian or Ubuntu, copy it to
163
164
sudo update-rc.d usrmgt-server defaults 99