Содержимое файла | Последнее изменение | Открыть журнал | 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("--","––",$query); |
||
11 | # $query = ereg_replace("-","–",$query); |
||
12 | $value = preg_replace("/\"/",""",$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> |