Il Server sotto UNIX viene gestito dai segnali inviati al processo Server da parte dell'utility kill.
|
Una guida dettagliata all'utility kill può essere ottenuta tramite il comando man kill. |
Di seguito, viene riportata una lista dei segnali dell'utility e delle azioni da essi eseguite:
•SIGWINCH – includi nel file di log le statistiche di funzionamento (tempo CPU, utilizzo di memoria ecc.),
•SIGUSR1 – rileggi il repository da disco,
•SIGUSR2 – rileggi i modelli di avviso da disco,
•SIGHUP – riavvio del Server,
•SIGTERM – arresto del Server,
•SIGQUIT – arresto del Server,
•SIGINT – arresto del Server.
Le azioni analoghe per il Server sotto il sistema operativo Windows vengono realizzate tramite le opzioni del comando drwcsd, vedi Allegato H4.3. Comandi di gestione del database.