git://git.onelab.eu
/
plewww.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
split in two
[plewww.git]
/
planetlab
/
common
/
adminsearch.php
diff --git
a/planetlab/adminsearch.php
b/planetlab/common/adminsearch.php
similarity index 99%
rename from
planetlab/adminsearch.php
rename to
planetlab/common/adminsearch.php
index
c3c32d9
..
45a1c61
100644
(file)
--- a/
planetlab/adminsearch.php
+++ b/
planetlab/common/adminsearch.php
@@
-165,7
+165,7
@@
$_roles= $_person['role_ids'];
echo "<div>\n
- <form method=post action='/db/adminsearch.php'>\n";
+ <form method=post action='/db/
common/
adminsearch.php'>\n";
if( $_POST['userquery'] or $_GET['userquery']) {
if ( $_POST['userquery'] ) {