diff options
author | Erich Eckner <git@eckner.net> | 2018-09-28 19:46:06 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-28 19:46:06 +0200 |
commit | 3546003ca936dcaeb5182374842f94226f1794ae (patch) | |
tree | 43a1ad2ca2924b621961d9c3d984d3022249e85c /httpdocs | |
parent | 6a3dddfd3ebb4ce41c81c33b0e529c83c7db403c (diff) | |
download | archive-server-3546003ca936dcaeb5182374842f94226f1794ae.tar.xz |
clone-repos,httpdocs/index.php: mark repo type in wish-list, too
Diffstat (limited to 'httpdocs')
-rw-r--r-- | httpdocs/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/httpdocs/index.php b/httpdocs/index.php index 478db2d..e6874fe 100644 --- a/httpdocs/index.php +++ b/httpdocs/index.php @@ -17,7 +17,7 @@ if (isset($_GET['r'])) { $wish_list = fopen($work_dir . 'wish-list','a'); if ($wish_list === false) die('Cannot open wish-list'); - fwrite($wish_list, $_GET['r'] . "\n"); + fwrite($wish_list, $_GET['t'] . " " . $_GET['r'] . "\n"); fclose($wish_list); die('I put repository onto wish-list'); } |