diff options
Diffstat (limited to 'admin/WebConsole/comandos/Reiniciar.php')
-rw-r--r-- | admin/WebConsole/comandos/Reiniciar.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/WebConsole/comandos/Reiniciar.php b/admin/WebConsole/comandos/Reiniciar.php index d7e7e1e1..ecaee6d7 100644 --- a/admin/WebConsole/comandos/Reiniciar.php +++ b/admin/WebConsole/comandos/Reiniciar.php @@ -33,6 +33,7 @@ if (!$cmd) <LINK rel="stylesheet" type="text/css" href="../estilos.css"> <SCRIPT language="javascript" src="./jscripts/Reiniciar.js"></SCRIPT> <SCRIPT language="javascript" src="./jscripts/comunescomandos.js"></SCRIPT> + <SCRIPT language="javascript" src="../clases/jscripts/HttpLib.js"></SCRIPT> <? echo '<SCRIPT language="javascript" src="../idiomas/javascripts/'.$idioma.'/comandos/comunescomandos_'.$idioma.'.js"></SCRIPT>'?> </HEAD> <BODY> |