Skip to content
This repository was archived by the owner on Nov 6, 2023. It is now read-only.

Update LibrePlanet.org.xml #7663

Merged
jeremyn merged 2 commits into from
Nov 22, 2016
Merged

Update LibrePlanet.org.xml #7663

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
043a8a2
Update LibrePlanet.org.xml
gloomy-ghost Nov 22, 2016
646a588
Update LibrePlanet.org.xml
gloomy-ghost Nov 22, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 16 additions & 15 deletions src/chrome/content/rules/LibrePlanet.org.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,20 +1,21 @@
<ruleset name="LibrePlanet.org">
<!--
Incomplete certificate chain, and expired:
- irc-dev.libreplanet.org
- irc0d.libreplanet.org

Timeout:
- games.libreplanet.org
- gaming.libreplanet.org
- minetest.libreplanet.org
-->
<ruleset name="LibrePlanet.org">
<target host="libreplanet.org" />
<target host="*.libreplanet.org" />


<!-- Not secured by server:
-->
<!--securecookie host="^(www\.)?libreplanet\.org$" name="^bb2_screener_$" /-->

<securecookie host="^(?:www\.)?libreplanet\.org$" name=".+" />

<target host="www.libreplanet.org" />
<target host="gmg0p.libreplanet.org" />
<target host="lists.libreplanet.org" />
<target host="media.libreplanet.org" />

<!-- www redirects to ^ over http,
so copy that behavior:
-->
<rule from="^http://(?:(media\.)|www\.)?libreplanet\.org/"
to="https://$1libreplanet.org/" />
<securecookie host=".+" name=".+" />

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