source: spip-zone/_plugins_/_stable_/console/logs.html @ 16335

Last change on this file since 16335 was 16335, checked in by booz@…, 13 years ago

une console de geek en jQuery, ./?page=logs

File size: 1.9 KB
Line 
1#CACHE{0}
2#HTTP_HEADER{Content-Type: text/html}
3
4<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
5<html dir="#LANG_DIR" lang="#LANG">
6<head>
7#INSERT_HEAD
8<title>[(#NOM_SITE_SPIP|texte_backend)]</title>
9
10<meta http-equiv="Content-Type" content="text/html; charset=#CHARSET">
11
12
13<style>
14/*Propriétés appliquées à
15tous les naviagateurs sauf IE*/
16#bandeau{  position: fixed;  }
17
18#bandeau {padding:10px;height:15px;width:100%;bottom:0;left:0;/*background: transparent url(../imgs/pixel.jpg);*/background: #000;color:#00CC00;opacity: 0.7;-moz-opacity: 0.7;-khtml-opacity: 0.7;filter: alpha(opacity=70);}
19
20#infos {
21width:80%;
22overflow:hidden;
23}
24
25#select {
26float:right;
27font-weight:bold;
28list-style-type:none;
29width:15%;
30}
31
32#select a {
33text-decoration:none;
34color : #00CC00 ;
35}
36</style>       
37
38
39<?php
40if(!$auteur_session['nom']) {echo "reservé aux admins"; return ;}
41
42function menu_log(){
43$menu ="" ;
44$files = preg_files(defined('_DIR_TMP')?_DIR_TMP:_DIR_SESSION ,"\.log$");
45
46foreach($files as $log){
47$tab = split("/",$log);
48$log = array_pop($tab);
49$log_cible = str_replace(".log","",$log);
50
51$menu .= "<li><a href='#$log_cible'>$log</a></li>" ;
52}
53return $menu ;
54}
55?>
56
57<script>
58$(document).ready(function() {
59
60var fichier_log = "spip" ; 
61 
62  $("#select li a").click(
63  function(e){
64  var log = $(this).attr("href");       
65  log = log.replace('#','') ;
66  clearTimeout(t);
67  callServer(log);
68  }
69  );
70 
71  $("#infos").hide();
72  $("#bandeau").css("height","100%");
73  $("#infos").show("slow");
74  callServer(fichier_log);
75
76 
77});
78
79function updatePage(fichier) {
80        t = setTimeout("callServer('"+ fichier +"')",10000);
81}
82
83function callServer(fichier) {
84 $.get("spip.php?page=console&log=" + fichier , function(data){
85         $("#infos").html(data);
86        });
87        updatePage(fichier);
88}
89</script>
90
91</head>
92 
93
94 
95<body>
96
97<div id="bandeau">
98
99<ul id="select">
100<?php echo menu_log(); ?>
101</ul>
102<div id="infos">
103</div>
104</div>
105
106</body>
107</html>
Note: See TracBrowser for help on using the repository browser.