// ==UserScript==
// @name        Reddit 503 Auto Refresh
// @namespace   flarn2006
// @include     http://www.reddit.com/*
// @include     http://reddit.com/*
// @include     https://www.reddit.com/*
// @include     https://reddit.com/*
// @version     4
// @grant       none
// ==/UserScript==

var error_messages = [
  "all of our servers are busy right now",
  "we took too long to make this page for you",
  "sorry, something broke on our end"
];

var headers = document.getElementsByTagName("h2");
var refreshNeeded = false;

if (headers.length >= 1) {
  if (document.title === "Ow! -- reddit.com") {
    if (headers[0].innerHTML in error_messages) {
      refreshNeeded = true;
    }
  }
} else if (document.title === "reddit broke!") {
  if (document.getElementsByTagName("img")[0].alt === "you broke reddit") {
    refreshNeeded = true;
  }
}

if (refreshNeeded) {
  setTimeout(refreshNow, 2000);
}
  
function refreshNow()
{
  location.reload();
}