summaryrefslogtreecommitdiffstats
path: root/web/attachments/37373-check_procs.c.patch
blob: 5cb9fe3ff58c5d646a13f07a5883eb1327887375 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
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>