From 3d7e3258717a4aa9ea7b602f8bf2366e15ac9c59 Mon Sep 17 00:00:00 2001
From: Christoph Korn <christoph.korn@posteo.de>
Date: Wed, 19 Aug 2015 00:04:22 +0200
Subject: [PATCH] marathon.py: Change download address

Actually the watch file could also be changed
to use GitHub directly.
---
 marathon.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/marathon.py b/marathon.py
index da92bc9..8d156bd 100644
--- a/marathon.py
+++ b/marathon.py
@@ -2,7 +2,7 @@
 import httplib
 
 for game in ("marathon", "marathon2", "infinity"):
-	conn = httplib.HTTPConnection("marathon.sourceforge.net")
+	conn = httplib.HTTPSConnection("alephone.lhowon.org")
 	conn.request("HEAD", "/download/data.php?game=%s"%(game))
 	res = conn.getresponse()
 	print "<!-- %d %s -->"%(res.status, res.reason)