# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1589162779 -10800
# Node ID 9a4297e59a40f615c9703177d0fbb63af336c0c2
# Parent  d598b2320878ed86a2990c2f9999bb9074d2f87e
Adjust sorting so that if timestamp difference is 0, compare names.

diff -r d598b2320878 -r 9a4297e59a40 mgtool.php
--- a/mgtool.php	Thu Apr 09 13:09:01 2020 +0300
+++ b/mgtool.php	Mon May 11 05:06:19 2020 +0300
@@ -808,10 +808,10 @@
       isset($a["base"]))
     $cres = 1;
   else
-  if (isset($a["base"]) && isset($b["base"]))
+    $cres = 0;
+
+  if ($cres == 0 && isset($a["base"]) && isset($b["base"]))
     $cres = strcmp($b["base"], $a["base"]);
-  else
-    $cres = 0;
 
   return $cres;
 }