← Back to branch summary

~ubuntu-branches/ubuntu/lucid/boinc/lucid

« back to all changes in this revision

Viewing changes to html/ops/show_log.php

  • Committer: Bazaar Package Importer
  • Author(s): Frank S. Thomas, Frank S. Thomas
  • Date: 2008-05-31 08:02:47 UTC
  • mfrom: (1.1.8 upstream)
  • Revision ID: james.westby@ubuntu.com-20080531080247-4ce890lp2rc768cr
Tags: 6.2.7-1
http://bugs.debian.org/463823
[ Frank S. Thomas ]
* New upstream release.
  - BOINC Manager: Redraw disk usage charts immediately after connecting to
    a (different) client. (closes: 463823)
* debian/copyright:
  - Added the instructions from debian/README.Debian-source about how
    repackaged BOINC tarballs can be reproduced because DevRef now
    recommends to put this here instead of in the afore-mentioned file.
  - Updated for the new release.
* Removed the obsolete debian/README.Debian-source.
* For consistency upstream renamed the core client and the command tool
  ("boinc_client" to "boinc" and "boinc_cmd" to "boinccmd"). Done the same
  in all packages and created symlinks with the old names for the binaries
  and man pages. Also added an entry in debian/boinc-client.NEWS explaining
  this change.
* debian/rules: Do not list Makefile.ins in the clean target individually,
  just remove all that can be found.

Show diffs side-by-side

added added

removed removed

Lines of Context:
html/ops/show_log.php
1
1
<?php
2
 
$cvs_version_tracker[]="\$Id: show_log.php 5353 2005-02-08 04:38:31Z ballen $";  //Generated automatically - do not edit
3
2
// grep logs for a particular string
4
3
 
5
4
require_once("../inc/util_ops.inc");
9
8
    exit("Error: couldn't get log_dir from config file.");
10
9
}
11
10
 
12
 
$f = $_GET["f"];
13
 
$s = $_GET["s"];
14
 
$l = (int)$_GET["l"];
15
 
 
16
 
//if (!$f || !preg_match("/^ *([a-z_*]+[.](log|out) *)+$/", $f)) {
17
 
//    $f = 'log_*/*.log';
18
 
//}
 
11
if( isset($_GET["f"]) ){
 
12
   $f = $_GET["f"];
 
13
} else {
 
14
   $f = "";
 
15
}
 
16
if( isset($_GET["s"]) ){
 
17
    $s = $_GET["s"];
 
18
} else {
 
19
    $s = "";
 
20
}
 
21
if( isset($_GET["l"]) ){
 
22
    $l = (int)$_GET["l"];
 
23
} else {
 
24
    $l = 0;
 
25
}
19
26
 
20
27
if ($s) {
21
28
    admin_page_head("Grep logs for \"$s\"");
31
38
 
32
39
echo 'Hint: Example greps: "RESULT#106876", "26fe99aa_25636_00119.wu_1", "WU#8152", "too many errors", "2003-07-17", "CRITICAL" <br>';
33
40
 
34
 
if (strlen($f))
 
41
if (strlen($f)) {
35
42
        $f = "../log*/". $f;
36
 
else
 
43
} else {
37
44
    $f = "../log*/*.log";
38
 
    
39
 
passthru("cd $log_dir && ../bin/grep_logs -html -l $l '$s' $f 2>&1 $lines");
 
45
}
 
46
 
 
47
if ($s) {
 
48
    passthru("cd $log_dir && ../bin/grep_logs -html -l $l '$s' $f 2>&1");
 
49
}
40
50
 
41
51
admin_page_tail();
42
52
?>