1 |
joko |
1.1 |
--- deleteobject.php.orig 2002-03-19 02:59:26.000000000 +0100 |
2 |
|
|
+++ deleteobject.php.patched 2002-10-21 12:45:22.000000000 +0200 |
3 |
|
|
@@ -19,7 +19,10 @@ |
4 |
|
|
|
5 |
|
|
$key = Horde::getFormData('key'); |
6 |
|
|
if ($driver->removeObject($key)) { |
7 |
|
|
- header('Location: ' . Horde::url('search.php', true)); |
8 |
|
|
+ // was: go to "search.php" |
9 |
|
|
+ // header('Location: ' . Horde::url('search.php', true)); |
10 |
|
|
+ // is: go back where we came from |
11 |
|
|
+ header('Location: ' . $_SERVER['HTTP_REFERER']); |
12 |
|
|
} else { |
13 |
|
|
Horde::raiseMessage(_("There was an error deleting this object. Contact your system administrator for further help."), HORDE_ERROR); |
14 |
|
|
|