<!--
	Nonfunctional domains:

		- loki08.mpi-sws.mpg.de
		- loki02.mpi-sws.org

-->
<ruleset name="Max Planck Institute for Software Systems" default_off="self-signed">

	<target host="mpi-soft.mpg.de" />
	<target host="www.mpi-soft.mpg.de" />
	<target host="mpi-sws.org" />
	<target host="adresearch.mpi-sws.org" />
	<target host="broadband.mpi-sws.org" />
	<target host="bftsim.mpi-sws.org" />
	<target host="bgp.mpi-sws.org" />
	<target host="bugassist.mpi-sws.org" />
	<target host="ceal.mpi-sws.org" />
	<target host="cloud.mpi-sws.org" />
	<target host="concurrency.mpi-sws.org" />
	<target host="courses.mpi-sws.org" />
	<target host="dependability.mpi-sws.org" />
	<target host="friendlist-manager.mpi-sws.org" />
	<target host="imprs.mpi-sws.org" />
	<target host="mg.mpi-sws.org" />
	<target host="monarch.mpi-sws.org" />
	<target host="peerreview.mpi-sws.org" />
	<target host="peerspective.mpi-sws.org" />
	<target host="popl.mpi-sws.org" />
	<target host="psn.mpi-sws.org" />
	<target host="robust-fpga.mpi-sws.org" />
	<target host="satellitelab.mpi-sws.org" />
	<target host="simna2011.mpi-sws.org" />
	<target host="socialnetworks.mpi-sws.org" />
	<target host="twitter.mpi-sws.org" />
	<target host="wiki.mpi-sws.org" />
	<target host="www.mpi-sws.org" />


	<!--	Cert doesn't match !www.	-->
	<rule from="^http://(?:www\.)?mpi-soft\.mpg\.de/"
		to="https://www.mpi-soft.mpg.de/" />


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