Malattia in mattinata

In caso un docente si senta male durante la mattinata, come si deve procedere? La segreteria mi diceva che non ci si può mettere in mutua, perché la mutua è solo per l'intera giornata, e che si dovrebbe prendere un permesso breve; però il permesso breve è solo fino a metà orario, quindi non sempre potrebbe bastare. Si dovrebbe prendere un permesso per motivi personali?

Trovata risposta: http://www.orizzontescuola.it/malore-scuola-come-va-considerata-lassenza-del-dipendente-che-interrompe-servizio/.