Grazie per la tua risposta:
1) Quale è la funzione che mi restituisce l'immagine inline.gif se il server è online e offline.gif se il server è offline?
2) 443 sarebbe la PORTA del server? Se io voglio mettere la porta 2003 che non è ssl, che me ne faccio di $ssl="NOK"; e $ssl="OK"; ?
Grazie per l'interesse, RoratoNet