<!--
	For other Hasso Plattner Institute coverage, see HPI.de.xml.


	Fully covered hosts in *openhpi.de:

		- (www.)?
		- blog


	Insecure cookies are set for these hosts:

		- blog.openhpi.de

-->
<ruleset name="openHPI.de">

	<!--	Direct rewrites:
				-->
	<target host="openhpi.de" />
	<target host="blog.openhpi.de" />
	<target host="www.openhpi.de" />


	<!--	Not secured by server:
					-->
	<!--securecookie host="^blog\.openhpi\.de$" name="^pll_language$" /-->

	<securecookie host="^(?:blog\.|www\.)?openhpi\.de$" name=".+" />


	<rule from="^http:"
		to="https:" />

</ruleset>
