1 files changed, 105 insertions, 0 deletions
diff --git a/web/attachments/37373-check_procs.c.patch b/web/attachments/37373-check_procs.c.patch
new file mode 100644
index 0000000..5cb9fe3
--- /dev/null
+++ b/web/attachments/37373-check_procs.c.patch
@@ -0,0 +1,105 @@
+<!DOCTYPE html>
+<!DOCTYPE html>
+<html lang="en">
+    <head>
+        <meta charset="utf-8" />
+        <meta name="viewport" content="width=device-width, initial-scale=1.0">
+        <title>SourceForge - Unable to display the page requested</title>
+        <link href="//fonts.googleapis.com/css?family=Ubuntu:regular" rel="stylesheet">
+        <style type="text/css">
+            html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video { margin: 0; padding: 0; border: 0; font-size: 100%; font: inherit; vertical-align: baseline; }
+            body { line-height: 1; }
+            ol, ul { list-style: none; }
+            table { border-collapse: collapse; border-spacing: 0; }
+            caption, th, td { text-align: left; font-weight: normal; vertical-align: middle; }
+            q, blockquote { quotes: none; }
+            q:before, q:after, blockquote:before, blockquote:after { content: ""; content: none; }
+            a img { border: none; }
+            article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section, summary { display: block; }
+            body { background: #fff; color: #333; font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px; margin: 0; padding: 0; }
+            a { color: #07a; }
+            #header { background: #eee; border-bottom: 1px solid #aaa; height: 50px; -moz-box-shadow: 0px 2px 4px 0px #cccccc; -webkit-box-shadow: 0px 2px 4px 0px #cccccc; -o-box-shadow: 0px 2px 4px 0px #cccccc; box-shadow: 0px 2px 4px 0px #cccccc; }
+            #header section { margin: 0 auto; width: 960px; padding: 5px 0; }
+            #content { margin: 0 auto; width: 960px; }
+            #content h1 { font-family: Ubuntu; font-size: 47px; font-weight: bold; margin: 40px 0 20px 0; }
+            #content p { margin-bottom: 60px; font-size: 16px; }
+            #content #error-message { float: left; margin-right: 20px; }
+            #content #twitter { float: left; position: relative; }
+            #content #twitter #twitter-bird { position: absolute; top: 40px; }
+            #content #twitter #message-bubble { position: relative; background: url("//a.fsdn.com/sorry/bubble.png") no-repeat; left: 60px; top: 18px; width: 333px; height: 150px; padding: 9px 28px; }
+        </style>
+    </head>
+    <body>
+        <header id="header">
+            <section>
+                <a id="logo" href="http://sourceforge.net"><img src="//a.fsdn.com/sorry/logo.png" alt="SourceForge Logo" /></a>
+            </section>
+        </header>
+        <section id="content">
+            <h1>Oops, looks like something went wrong.</h1>
+            <p>
+                For updates, follow us on <a href="http://twitter.com/sfnet_ops" title="@sfnet_ops">twitter</a> or check the <a href="http://sourceforge.net/sitestatus" title="Listing of services and their status">status dashboard</a>.
+                While we fix the issue checkout <a href="http://slashdot.org" title="News for Nerds">Slashdot</a> or <a href="http://thinkgeek.com" title="Stuff for smart masses">Thinkgeek</a>.
+            </p>
+            <img src="//a.fsdn.com/sorry/500.png" alt="500 Error" id="error-message"/>
+            <section id="twitter">
+                <img id="twitter-bird" src="//a.fsdn.com/sorry/twitter_bird.png" alt="Twitter Bird" />
+                <div id="message-bubble">
+                    <a class="twitter-timeline" data-dnt="true" href="https://twitter.com/sfnet_ops"  data-widget-id="347335110670049280" data-tweet-limit="1" width="330" height="115" data-chrome="nofooter noborders noscrollbar">Tweets by @sfnet_ops</a>
+                    <script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?'http':'https';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+"://platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script>
+                </div>
+            </section>
+        </section>
+        <script type="text/javascript">
+          var url, filename, project;
+         /*
+          Match:
+           /projects/xyz/files/a/download
+                  /a/b/c/download
+                  /a/download?use_mirror=m (url params aren't in window.location.pathname)
+          non-greedy match on project name
+          optional greedy match on file path including trailing slash
+          regular match on base file name
+          */
+          var regexp = new RegExp('^/projects/(.+?)/files/(.*/)?(.+)/download$');
+          var matches = window.location.pathname.match(regexp);
+          if (matches) {
+              project = matches[1];
+              var path = matches[2] || ''; // may be undefined
+              filename = matches[3];
+              url = '//downloads.sourceforge.net/project/' + project + '/' + path + filename;
+          }
+          if (window.location.pathname === '/project/downloading.php') {
+              /*
+              match:
+                /project/downloading.php?groupname=xyz&filename=abc.zip
+                                        abc.zip&use_mirror=m
+              non-greedy match on project name
+              non-greedy match on filename, terminated by EOL or '&'
+              */
+              var legacy_re = new RegExp('groupname=(.+?)&filename=(.+?)($|&)');
+              var legacy_matches = window.location.search.match(legacy_re);
+              if (legacy_matches) {
+                  project = legacy_matches[1];
+                  filename = legacy_matches[2];
+                  url = '//downloads.sourceforge.net/' + project + '/' + filename;
+              }
+          }
+          /*global console*/
+          if (url && filename) {
+              url += '?fromerrorjs=1';
+              if (window.location.hostname === 'sourceforge.net') {
+                  window.location = url;
+              } else if (window.console) {
+                  console.log('redirecting to ' + url);
+              }
+              document.title = 'Downloading ' + decodeURIComponent(filename) + ' [Internal Code - ' + document.title + ']';
+              // h2 with large font instead of h1, so that a styling is correct
+              document.getElementById('doc4').innerHTML = '<h2 style="margin:5em;font-size:150%">Downloading <a href="' + url + '">' + decodeURIComponent(filename) + '<\/a> ...<\/h2>';
+          }
+        </script>
+    </body>
+</html>

diff --git a/web/attachments/37373-check_procs.c.patch b/web/attachments/37373-check_procs.c.patch new file mode 100644 index 0000000..5cb9fe3 --- /dev/null +++ b/web/attachments/37373-check_procs.c.patch
@@ -0,0 +1,105 @@
	1	<!DOCTYPE html>
	2	<!DOCTYPE html>
	3	<html lang="en">
	4	<head>
	5	<meta charset="utf-8" />
	6	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	7	<title>SourceForge - Unable to display the page requested</title>
	8	<link href="//fonts.googleapis.com/css?family=Ubuntu:regular" rel="stylesheet">
	9	<style type="text/css">
	10	html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video { margin: 0; padding: 0; border: 0; font-size: 100%; font: inherit; vertical-align: baseline; }
	11	body { line-height: 1; }
	12	ol, ul { list-style: none; }
	13	table { border-collapse: collapse; border-spacing: 0; }
	14	caption, th, td { text-align: left; font-weight: normal; vertical-align: middle; }
	15	q, blockquote { quotes: none; }
	16	q:before, q:after, blockquote:before, blockquote:after { content: ""; content: none; }
	17	a img { border: none; }
	18	article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section, summary { display: block; }
	19	body { background: #fff; color: #333; font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px; margin: 0; padding: 0; }
	20	a { color: #07a; }
	21	#header { background: #eee; border-bottom: 1px solid #aaa; height: 50px; -moz-box-shadow: 0px 2px 4px 0px #cccccc; -webkit-box-shadow: 0px 2px 4px 0px #cccccc; -o-box-shadow: 0px 2px 4px 0px #cccccc; box-shadow: 0px 2px 4px 0px #cccccc; }
	22	#header section { margin: 0 auto; width: 960px; padding: 5px 0; }
	23	#content { margin: 0 auto; width: 960px; }
	24	#content h1 { font-family: Ubuntu; font-size: 47px; font-weight: bold; margin: 40px 0 20px 0; }
	25	#content p { margin-bottom: 60px; font-size: 16px; }
	26	#content #error-message { float: left; margin-right: 20px; }
	27	#content #twitter { float: left; position: relative; }
	28	#content #twitter #twitter-bird { position: absolute; top: 40px; }
	29	#content #twitter #message-bubble { position: relative; background: url("//a.fsdn.com/sorry/bubble.png") no-repeat; left: 60px; top: 18px; width: 333px; height: 150px; padding: 9px 28px; }
	30	</style>
	31	</head>
	32	<body>
	33	<header id="header">
	34	<section>
	35	<a id="logo" href="http://sourceforge.net"><img src="//a.fsdn.com/sorry/logo.png" alt="SourceForge Logo" /></a>
	36	</section>
	37	</header>
	38	<section id="content">
	39	<h1>Oops, looks like something went wrong.</h1>
	40	<p>
	41	For updates, follow us on <a href="http://twitter.com/sfnet_ops" title="@sfnet_ops">twitter</a> or check the <a href="http://sourceforge.net/sitestatus" title="Listing of services and their status">status dashboard</a>.
	42	While we fix the issue checkout <a href="http://slashdot.org" title="News for Nerds">Slashdot</a> or <a href="http://thinkgeek.com" title="Stuff for smart masses">Thinkgeek</a>.
	43	</p>
	44	<img src="//a.fsdn.com/sorry/500.png" alt="500 Error" id="error-message"/>
	45	<section id="twitter">
	46	<img id="twitter-bird" src="//a.fsdn.com/sorry/twitter_bird.png" alt="Twitter Bird" />
	47	<div id="message-bubble">
	48	<a class="twitter-timeline" data-dnt="true" href="https://twitter.com/sfnet_ops" data-widget-id="347335110670049280" data-tweet-limit="1" width="330" height="115" data-chrome="nofooter noborders noscrollbar">Tweets by @sfnet_ops</a>
	49	<script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?'http':'https';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+"://platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script>
	50	</div>
	51	</section>
	52	</section>
	53	<script type="text/javascript">
	54	var url, filename, project;
	55
	56	/*
	57	Match:
	58	/projects/xyz/files/a/download
	59	/a/b/c/download
	60	/a/download?use_mirror=m (url params aren't in window.location.pathname)
	61	non-greedy match on project name
	62	optional greedy match on file path including trailing slash
	63	regular match on base file name
	64	*/
	65	var regexp = new RegExp('^/projects/(.+?)/files/(.*/)?(.+)/download$');
	66	var matches = window.location.pathname.match(regexp);
	67	if (matches) {
	68	project = matches[1];
	69	var path = matches[2] \|\| ''; // may be undefined
	70	filename = matches[3];
	71	url = '//downloads.sourceforge.net/project/' + project + '/' + path + filename;
	72	}
	73
	74	if (window.location.pathname === '/project/downloading.php') {
	75	/*
	76	match:
	77	/project/downloading.php?groupname=xyz&filename=abc.zip
	78	abc.zip&use_mirror=m
	79	non-greedy match on project name
	80	non-greedy match on filename, terminated by EOL or '&'
	81	*/
	82	var legacy_re = new RegExp('groupname=(.+?)&filename=(.+?)($\|&)');
	83	var legacy_matches = window.location.search.match(legacy_re);
	84	if (legacy_matches) {
	85	project = legacy_matches[1];
	86	filename = legacy_matches[2];
	87	url = '//downloads.sourceforge.net/' + project + '/' + filename;
	88	}
	89	}
	90
	91	/global console/
	92	if (url && filename) {
	93	url += '?fromerrorjs=1';
	94	if (window.location.hostname === 'sourceforge.net') {
	95	window.location = url;
	96	} else if (window.console) {
	97	console.log('redirecting to ' + url);
	98	}
	99	document.title = 'Downloading ' + decodeURIComponent(filename) + ' [Internal Code - ' + document.title + ']';
	100	// h2 with large font instead of h1, so that a styling is correct
	101	document.getElementById('doc4').innerHTML = '<h2 style="margin:5em;font-size:150%">Downloading <a href="' + url + '">' + decodeURIComponent(filename) + '<\/a> ...<\/h2>';
	102	}
	103	</script>
	104	</body>
	105	</html>