El codigo està bien, despues es una cuestion de propia preferencia. Yo por mi parte prefiero asì
Código PHP:
while($row=mysql_fetch_array($lista)){
$selected = (in_array($row['nombre_servidor'], $servidor))? "selected=\"selected\"":"";
echo "<option value=\"".$row['nombre_servidor']." $selected>".$row['nombre_servidor']."</option>";
}
solamente porque me parece mas ordenado y lo entiendo mejor sin abrir y cerrar continuamente el codigo php. Pero solo es personal, como uno prefiere.
Chao y buen dia.