'?>
echo $opciones[$opcion]?>
'.$nombrerepositorio.''; else echo '
'; ?>
Ordenadores: echo $ordenadores?>
'.$ip.''; else echo'
'; ?>
'.$puertorepo.''; else echo'
'; ?>
'.$pathrepod.''; else echo'
'; ?>
'.$pathpxe.''; else echo'
'; ?>
'.$comentarios.''; else echo '
'.$comentarios.'
'; ?>