From 3546003ca936dcaeb5182374842f94226f1794ae Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 28 Sep 2018 19:46:06 +0200
Subject: clone-repos,httpdocs/index.php: mark repo type in wish-list, too

---
 httpdocs/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'httpdocs/index.php')

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');
   }
-- 
cgit v1.2.3-54-g00ecf