Metodo finish_monitor

finish_monitor(self)

Termina il monitoraggio per una procedura.


def finish_monitor(self):
    ...

Osservazioni

La chiamata di questo metodo dopo la procedura monitorata può rilasciare prima il thread del monitor, soprattutto quando non vi è alcuna interruzione (il costo temporale di tale procedura è inferiore al limite di tempo specificato).

Guarda anche