Mercurial > trustbridge
annotate doc/help/_templates/searchbox.html @ 1332:8362e30f7b55
(issue139) Check that pid is not running if the lock can be aquired
If the lock on the lockfile can be aquired it might still be
possible that another process is running. So we read the
pid from the lockfile and check if another process with the
same installation prefix as us is running.
| author | Andre Heinecke <andre.heinecke@intevation.de> |
|---|---|
| date | Wed, 15 Oct 2014 14:19:46 +0200 |
| parents | 4a329513ee86 |
| children |
| rev | line source |
|---|---|
|
1238
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
1 {# |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
2 basic/searchbox.html |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
3 ~~~~~~~~~~~~~~~~~~~~ |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
4 |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
5 Sphinx sidebar template: quick search box. |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
6 |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
7 :copyright: Copyright 2007-2014 by the Sphinx team, see AUTHORS. |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
8 :license: BSD, see LICENSE for details. |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
9 #} |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
10 {%- if pagename != "search" and builder != "singlehtml" %} |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
11 <div id="searchbox" style="display: none"> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
12 <h3>Suche</h3> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
13 <form class="search" action="{{ pathto('search') }}" method="get"> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
14 <input type="text" name="q" /> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
15 <input type="submit" value="{{ _('Go') }}" /> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
16 <input type="hidden" name="check_keywords" value="yes" /> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
17 <input type="hidden" name="area" value="default" /> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
18 </form> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
19 </div> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
20 <p></p> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
21 <script type="text/javascript">$('#searchbox').show(0);</script> |
|
4a329513ee86
(help) Share _template directory with client and admin help.
Emanuel Schuetze <emanuel@intevation.de>
parents:
diff
changeset
|
22 {%- endif %} |