Хранилища Subversion www_nix-files

Редакция

Содержимое файла | Последнее изменение | Открыть журнал | RSS

Редакция Автор № строки Строка
184 diffor 1
<div align=center>
2
<br><br>
3
<form name="form1">
4
<input value="<?php
5
        $query = $_REQUEST['query'];
6
        # clean up passed value
7
        $query = preg_replace("/^\s+/","",$query);
8
        $query = preg_replace("/\s+$/","",$query);
9
        $query = preg_replace("/\s+/"," ",$query);
10
        $query = ereg_replace("--","&#150;&#150;",$query);
11
#       $query = ereg_replace("-","&ndash;",$query);
12
        $value = preg_replace("/\"/","&quot;",$query);
13
 
14
        echo "$value"
15
?>" type="text" name="query" onChange="submit()">
16
<input type="Hidden" name="lang" value="<?php print $lang; ?>">
17
<p>
18
</form></div>
19
<?php
20
if($query != "") {
21
 
22
switch ($lang) {
23
    case NULL:
24
        exec("export LANG=ru_RU.UTF8 && export MANWIDTH=90 && man $query",$output,$error);
25
        break;
26
    case ru:
27
        exec("export LANG=ru_RU.UTF8 && export MANWIDTH=90 && man $query | col -bx",$output,$error);
28
        break;
29
    case en:
30
        exec("export MANWIDTH=90 && man $query  | col -b",$output,$error);
31
        break;
32
 
33
}
34
 
35
$output = implode("\n",$output);
36
 
37
 
38
if($error) {
39
        echo "<pre><b>Ошибка</b>: $output</pre>";
40
}
41
        else {# bold first line
42
                        $output = preg_replace("/^(.*)/","<b>\\1</b>",$output);
43
                        # wrap first line of each reference in table to control background color
44
                        $output = preg_replace("/(\n\nFrom )(.*)\n/","\n\n<table cellpadding=4
45
                                bgcolor=#7FA95D><tr><td><b>\\2</b></td></tr></table>",$output);
46
                        # add a href
47
                        $output = ereg_replace("\n","<br>",$output);
48
                        $output = ereg_replace("<br>[A-Z]{4,}","<a href=#\\0><img src=download.gif alt=\"\"></a><a name=\\0>\\0</a>",$output);
49
                        $output = ereg_replace("<br>[А-Я]{4,}","<a href=#\\0><img src=download.gif alt=\"\"></a><a name=\\0>\\0</a>",$output);
50
                        $output = ereg_replace("=#<br>","#=",$output);
51
                        $output = ereg_replace("=<br>","=",$output);
52
                        $output = ereg_replace("#=","=#",$output);
53
                        echo "<pre>$output</pre>";
54
                }
55
}
56
?>
57
<script type="text/javascript">
58
        document.form1.query.focus();
59
</script>