Mercurial > trustbridge
annotate doc/help/theme/better/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 | cf1fdb254c41 |
| children |
| rev | line source |
|---|---|
|
934
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
1 {%- if pagename != "search" %} |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
2 <form class="search" action="{{ pathto('search') }}" method="get"> |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
3 <input type="text" name="q" |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
4 placeholder="{{ _('type to search') }}" /> |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
5 {#- I have not been able to make this look good. #} |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
6 {#- <input type="submit" value="{{ _('Search') }}" /> #} |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
7 <input type="hidden" name="check_keywords" value="yes" /> |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
8 <input type="hidden" name="area" value="default" /> |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
9 </form> |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
10 <script type="text/javascript">$('#searchbox').show(0);</script> |
|
519b14c5260d
(issue89) Add sphinx better theme
Andre Heinecke <andre.heinecke@intevation.de>
parents:
diff
changeset
|
11 {%- endif %} |