From e08e3459af8c236800e1c7571a6c4146979412a0 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Wed, 17 May 2017 22:22:27 +0200
Subject: [PATCH] Set the default salt mine URL to the final one

+ fixed a WIN32 build error.
---
 src/tl/tlSystemPaths.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tl/tlSystemPaths.cc b/src/tl/tlSystemPaths.cc
index 53a9c5615..02cf90860 100644
--- a/src/tl/tlSystemPaths.cc
+++ b/src/tl/tlSystemPaths.cc
@@ -167,12 +167,12 @@ get_klayout_path ()
 std::string
 salt_mine_url ()
 {
-  const std::string default_url ("https://www.klayout.org/salt.mine");
+  const std::string default_url ("https://sami.klayout.org/repository.xml");
 
 #ifdef _WIN32
   wchar_t *env = _wgetenv (L"KLAYOUT_SALT_MINE");
   if (env) {
-    return tl::to_string (QString ((const QChar *) env)));
+    return tl::to_string (QString ((const QChar *) env));
   } else {
     return default_url;
   }