| dalla versione 9.5.4160 - modificato il 24/09/2010 - link - english
|
Scopo
Informa una sessione che deve terminare.
boolean done = endSession("nome sessione", kill)
Argomenti
Nome Sessione
|
Nome della sessione che si vuole terminare
|
Kill
|
Se non impostato o impostato a False la sessione terminerà appena ha finito di fare quello che sta facendo; se impostato a True la sessione viene terminata immediatamente
|
Valore di ritorno
Se la sessione con il nome fornito esisteva viene restituito True; altrimenti False.
Note
-
Se la sessione che si vuole terminare sta lavorando e il parametro Kill è False la funzione ritorna comunque subito: la sessione terminerà non appena ha completato quello che sta facendo; se invece
Kill è True la sessione viene terminata forzatamente: in tal caso il lavoro della sessione viene interrotto generando un'eccezione.
public void SessionMonitor.Termina()
{
if (EsempiMS.controlKey)
{
EsempiMS.sendSessionMessage(ServerSessionsLog.NomeSessione, Terminate
, -1, ...)
}
else
{
if (!(endSession(ServerSessionsLog.NomeSessione, EsempiMS.shiftKey)))
{
ServerSessionsLog.setInfoMessage(WARN, "Non è stata trovata nessuna
sessione con nome '" + ServerSessionsLog.NomeSessione + "'", ...
)
}
}
}
Cosa ne pensi?
Ti sono rimaste delle domande su punti che questo articolo non ha trattato? Pensi che sia utile aggiungere una nota all'articolo? Aiutaci a migliorare la documentazione di Instant Developer scrivendo il tuo commento nei campi qui sotto.