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. |
Segnali dell'utility e le azioni da essi eseguite:
•SIGWINCH — output nel file di log delle statistiche di funzionamento (tempo CPU, utilizzo di memoria ecc.),
•SIGUSR1 — rilettura del repository da disco,
•SIGUSR2 — rilettura dei 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 H3.3. Comandi di gestione del database.