pipedot.org

MB · MB · commit 5d7a230ebf2c · 2015-03-29T16:00:01.000+01:00
diff --git a/src/chrome/content/rules/Pipedot.org.xml b/src/chrome/content/rules/Pipedot.org.xml
@@ -0,0 +1,38 @@
+<!--
+	Fully covered hosts:
+
+		- (www.)?
+		- bugs
+		- \w+ *
+
+	* Per-account vhosts
+
+
+	Insecure cookies are set for these domains and hosts:
+
+		- pipedot.org
+		- .pipedot.org
+
+-->
+<ruleset name="pipedot.org">
+
+	<!--	Direct rewrites:
+				-->
+	<target host="pipedot.org" />
+	<target host="*.pipedot.org" />
+
+		<test url="http://bugs.pipedot.org/" />
+		<test url="http://www.pipedot.org/" />
+
+
+	<!--	Not secured by server:
+					-->
+	<!--securecookie host="^\.?pipedot\.org$" name="^auth$" /-->
+
+	<securecookie host="^\.?pipedot\.org$" name=".+" />
+
+
+	<rule from="^http:"
+		to="https:" />
+
+</ruleset>
