Next: Notifying users about time-outs Up: Meeting March 13th, 2024 Previous: General update Index
To proper delete server in Jive one has to use "Server" tab, find proper server, right click on the instance name and delete it
The "Device" tab can be used to find server name. It is also possible to delete some sub-devices from server, but it is impossible to delete the whole server!
At the "Device" tab one should never touch "dserver" devices. If it is accidentally deleted, the server entry in database will be corrupted, and the server will be impossible to modify/delete/operate by Jive/Astor/etc. Such tools as pyspMonitor, TngGui crash with segmentation fault (will be fixed only starting from tango 10)
