Lo que te permite seleccionar lo que has elegido antes es esto:
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>";
}
Despues puedes meterlo como quieres. Pero lo fundamental es:
1 - Coger el valor de la variable (array) $_POST['servidor'] antes que emprimir el select, asì que se pueda ver por cada OPTION si su valor del attributo value està contenido en el array $_POST['servidor']. Es decir, por cada OPTION voy a verificar si esta misma opcion habia sido elegida del usuario cuando premio aceptar. Si la OPTION està contenida entonces hay que seleccionarla y se pone el attributo
selected="selected"
si no esta seleccionada no se pone nada.