← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/common/codepress/codepress.html

  • Committer: dcoles
  • Date: 2008-03-31 01:10:43 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:720
download: Fixing the download button.
    We now run download in the jail so that we don't encounter permission 
    problems.  Since this is very similar to "serve" we now extend serveservice 
    to do the work of download and use the serve code to do download.

    w/a/s/__init__.py: Overloaded servefile to support downloads
    w/a/d/__init__.py: Use servefile from server rather than old implementaion
    s/serveservice: Added support for download of directories (as zip files)
    l/c/zip.py: Now uses paths not ivle_urls

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/common/codepress/codepress.html
1
 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2
 
<html>
3
 
<head>
4
 
        <title>CodePress - Real Time Syntax Highlighting Editor written in JavaScript</title>
5
 
        <meta name="description" content="CodePress - source code editor window" />
6
 
 
7
 
        <script type="text/javascript">
8
 
        var language = 'generic';
9
 
        var engine = 'older';
10
 
        var ua = navigator.userAgent;
11
 
        var ts = (new Date).getTime(); // timestamp to avoid cache
12
 
        var lh = location.href;
13
 
        
14
 
        if(ua.match('MSIE')) engine = 'msie';
15
 
        else if(ua.match('KHTML')) engine = 'khtml'; 
16
 
        else if(ua.match('Opera')) engine = 'opera'; 
17
 
        else if(ua.match('Gecko')) engine = 'gecko';
18
 
 
19
 
        if(lh.match('language=')) language = lh.replace(/.*language=(.*?)(&.*)?$/,'$1');
20
 
 
21
 
        document.write('<link type="text/css" href="codepress.css?ts='+ts+'" rel="stylesheet" />');
22
 
        document.write('<link type="text/css" href="languages/'+language+'.css?ts='+ts+'" rel="stylesheet" id="cp-lang-style" />');
23
 
        document.write('<scr'+'ipt type="text/javascript" src="engines/'+engine+'.js?ts='+ts+'"></scr'+'ipt>');
24
 
        document.write('<scr'+'ipt type="text/javascript" src="languages/'+language+'.js?ts='+ts+'"></scr'+'ipt>');
25
 
        </script>
26
 
 
27
 
</head>
28
 
 
29
 
<script type="text/javascript">
30
 
if(engine == "msie" || engine == "gecko") document.write('<body><pre> </pre></body>');
31
 
else if(engine == "opera") document.write('<body></body>');
32
 
// else if(engine == "khtml") document.write('<body> </body>');
33
 
</script>
34
 
 
35
 
</html>