Pasted

// ==UserScript==
// @name         Reddit auto reloader
// @namespace    http://ayra.ch/
// @version      1.0
// @description  reloads reddit automatically after 10 seconds, if an error occurs
// @author       /u/AyrA_ch
// @match        https://*.reddit.com/*
// @match        http://*.reddit.com/*
// @match        https://*.reddit.com/
// @match        http://*.reddit.com/
// @match        https://reddit.com/*
// @match        http://reddit.com/*
// @match        https://reddit.com/
// @match        http://reddit.com/
// @grant        none
// ==/UserScript==
 
if(document.title=="Ow! -- reddit.com")
{
    window.setTimeout(location.reload.bind(location),10000);
    document.querySelector("h3").textContent="Reloading in 10 Seconds...";
}