}
?>
<div class="contenedor">
<?php
include './barra_navegacion_admin.html';
?>
<div class="cuerpo">
<?php
$controladorDispositivos = new ControladorGestionDeDispositivos();
if (isset($_REQUEST['btnRegistrar'])) {
if (isset($_REQUEST['txtMantenimiento']) && isset($_REQUEST['txtDispositivo']) && $_REQUEST['txtMantenimiento'] != "" && $_REQUEST['txtDispositivo'] != "") {
echo $controladorDispositivos->registrarRevision($_REQUEST['txtMantenimiento'], $_REQUEST['txtObservacion'], $_REQUEST['txtDispositivo']);
?>
<script>
var segundos = 3;
var direccion = 'revisiones.php?di=<?php
echo $_REQUEST['txtDispositivo'];
?>
';
milisegundos = segundos * 1000;
window.setTimeout("window.location.replace(direccion);", milisegundos);
</script>
<?php
} else {
?>
