From b77f91d5f19ce0d9d6c401c91e5d9501e5068049 Mon Sep 17 00:00:00 2001
From: Tomas Pospisek <tpo_hp@sourcepole.ch>
Date: Sun, 25 Jan 2015 15:56:00 +0100
Subject: [PATCH] search.debian.org is broken when used via https

(we get a certificate warning), thus refer to it via http://
---
 dohtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dohtml b/dohtml
index c48b40d..ecc471c 100755
--- a/dohtml
+++ b/dohtml
@@ -22,7 +22,7 @@ html_header() {
       <a href="//www.debian.org/" title="Debian Home"><img src="//www.debian.org/Pics/openlogo-50.png" alt="Debian" width="50" height="61"></a>
     </div>
     <div id="searchbox">
-      <form name="p" method="get" action="//search.debian.org/cgi-bin/omega">
+      <form name="p" method="get" action="http://search.debian.org/cgi-bin/omega">
         <p>
           <input type="hidden" name="DB" value="en">
           <input name="P" value="" size="27">
-- 
2.39.2