← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/browser/browser.js

  • Committer: mattgiuca
  • Date: 2008-06-23 09:45:03 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:785
fileservice_lib/__init__.py: X-IVLE-Action-Error HTTP response header is now
    URI-encoded. This allows multi-line error messages without producing
    invalid HTTP.
www/media/browser/browser.js: URI-decodes the X-IVLE-Action-Error response
    header, so it displays normally.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/browser.js
55
55
default_type_icon = "txt.png";
56
56
 
57
57
/* Relative to IVLE root */
58
 
type_icons_path = "+media/ivle.webapp.core/images/mime";
59
 
type_icons_path_large = "+media/ivle.webapp.core/images/mime/large";
 
58
type_icons_path = "media/images/mime";
 
59
type_icons_path_large = "media/images/mime/large";
60
60
 
61
61
/* Mapping SVN status to icons, just the file's basename */
62
62
svn_icons = {
66
66
    "missing": "missing.png",
67
67
    "deleted": "deleted.png",
68
68
    "modified": "modified.png",
69
 
    "conflicted": "conflicted.png",
70
69
    "revision": "revision.png"
71
70
};
72
71
 
87
86
default_svn_icon = null;
88
87
default_svn_nice = "Unknown status";
89
88
 
90
 
svn_icons_path = "+media/ivle.webapp.core/images/svn";
 
89
svn_icons_path = "media/images/svn";
91
90
 
92
 
published_icon = "+media/ivle.webapp.core/images/interface/published.png";
 
91
published_icon = "media/images/interface/published.png";
93
92
 
94
93
/* List of MIME types considered "executable" by the system.
95
94
 * Executable files offer a "run" link, implying that the "serve"
105
104
/** The listing object returned by the server as JSON */
106
105
file_listing = null;
107
106
current_file = null;
108
 
current_revision = null;
109
107
current_path = "";
110
108
 
111
109
/** Filenames of all files selected
150
148
                alert("Error: " + decodeURIComponent(error.toString()) + ".");
151
149
            /* Now read the response and set up the page accordingly */
152
150
            if (ignore_response != true)
153
 
                handle_response(path, response, true);
 
151
                handle_response(path, response);
154
152
        }
155
153
    /* Call the server and perform the action. This mutates the server. */
156
154
    ajax_call(callback, service_app, path, args, "POST", content_type);
169
167
    callback = function(response)
170
168
        {
171
169
            /* Read the response and set up the page accordingly */
172
 
            handle_response(path, response, false, url.args);
 
170
            handle_response(path, response, url.args);
173
171
        }
174
172
    /* Get any query strings */
175
173
    url = parse_url(window.location.href);
183
181
 */
184
182
function refresh()
185
183
{
186
 
    if (maybe_save('All changes since the last save will be lost!'))
187
 
        navigate(current_path);
 
184
    navigate(current_path);
188
185
}
189
186
 
190
187
/** Determines the "handler type" from a MIME type.
216
213
 * things) be used to update the URL in the location bar.
217
214
 * \param response XMLHttpRequest object returned by the server. Should
218
215
 * contain all the response data.
219
 
 * \param is_action Boolean. True if this is the response to an action, false
220
 
 * if this is the response to a simple listing. This is used in handling the
221
 
 * error.
222
216
 * \param url_args Arguments dict, for the arguments passed to the URL
223
217
 * in the browser's address bar (will be forwarded along).
224
218
 */
225
 
function handle_response(path, response, is_action, url_args)
 
219
function handle_response(path, response, url_args)
226
220
{
227
221
    /* TODO: Set location bar to "path" */
228
222
    current_path = path;
241
235
        return;
242
236
    }
243
237
 
244
 
    var subjects = null;
245
 
    var top_level_dir = path==username;
246
 
    if (top_level_dir)
247
 
    {
248
 
        var req = ajax_call(null, "userservice", "get_enrolments", null, "GET")
249
 
        subjects = decode_response(req);
250
 
    }
251
 
 
252
 
 
253
238
    /* This will always return a listing, whether it is a dir or a file.
254
239
     */
255
240
    var listing = response.responseText;
261
246
    }
262
247
    catch (e)
263
248
    {
264
 
        if (is_action)
265
 
        {
266
 
            var err = document.createElement("div");
267
 
            var p = dom_make_text_elem("p", "Error: "
268
 
                    + "There was an unexpected server error processing "
269
 
                    + "the selected command.");
270
 
            err.appendChild(p);
271
 
            p = dom_make_text_elem("p", "If the problem persists, please "
272
 
                    + "contact the system administrator.")
273
 
            err.appendChild(p);
274
 
            p = document.createElement("p");
275
 
            var refresh = document.createElement("input");
276
 
            refresh.setAttribute("type", "button");
277
 
            refresh.setAttribute("value", "Back to file view");
278
 
            refresh.setAttribute("onclick", "refresh()");
279
 
            p.appendChild(refresh);
280
 
            err.appendChild(p);
281
 
            handle_error(err);
282
 
        }
283
 
        else
284
 
        {
285
 
            var err = document.createElement("div");
286
 
            var p = dom_make_text_elem("p", "Error: "
287
 
                    + "There was an unexpected server error retrieving "
288
 
                    + "the requested file or directory.");
289
 
            err.appendChild(p);
290
 
            p = dom_make_text_elem("p", "If the problem persists, please "
291
 
                    + "contact the system administrator.")
292
 
            err.appendChild(p);
293
 
            handle_error(err);
294
 
        }
 
249
        handle_error("The server returned an invalid directory listing");
295
250
        return;
296
251
    }
297
252
    /* Get "." out, it's special */
298
253
    current_file = file_listing["."];     /* Global */
299
254
    delete file_listing["."];
300
255
 
301
 
    if ('revision' in listing)
302
 
    {
303
 
        current_revision = listing.revision;
304
 
    }
305
 
 
306
256
    /* Check if this is a directory listing or file contents */
307
257
    var isdir = response.getResponseHeader("X-IVLE-Return") == "Dir";
308
258
    if (isdir)
309
259
    {
310
 
        setup_for_listing();
311
 
        home_listing(listing, subjects, path);
 
260
        handle_dir_listing(path, listing);
312
261
    }
313
262
    else
314
263
    {
376
325
     */
377
326
    upload_callback_count++;
378
327
    if (upload_callback_count >= 2)
379
 
    {
380
 
        myFrame = frames['upload_iframe'].document;
381
 
        data = myFrame.firstChild.childNodes[1].firstChild.firstChild.nodeValue;
382
 
        data = JSON.parse(data);
383
 
        if ('Error' in data)
384
 
            alert("Error: " + decodeURIComponent(data['Error']));
385
 
        document.getElementsByName('data')[0].value = '';
386
328
        refresh();
387
 
    }
388
329
}
389
330
 
390
331
/** Deletes all "dynamic" content on the page.
396
337
    dom_removechildren(document.getElementById("filesbody"));
397
338
}
398
339
 
399
 
/* Checks if a file needs to be saved. If it does, the user will be asked
400
 
 * if they want to continue anyway. The caller must specify a warning
401
 
 * sentence which indicates the consequences of continuing.
402
 
 * Returns true if we should continue, and false if we should not.
403
 
 */
404
 
function maybe_save(warning)
405
 
{
406
 
    if (warning == null) warning = '';
407
 
    if (current_file.isdir) return true;
408
 
    if (document.getElementById("save_button").disabled) return true;
409
 
    return confirm("This file has unsaved changes. " + warning +
410
 
                   "\nAre you sure you wish to continue?");
411
 
}
412
 
 
413
340
/** Deletes all "dynamic" content on the page necessary to navigate from
414
341
 * one directory listing to another (does not clear as much as clearpage
415
342
 * does).
426
353
/*** HANDLERS for different types of responses (such as dir listing, file,
427
354
 * etc). */
428
355
 
429
 
/* handle_error.
430
 
 * message may either be a string, or a DOM node, which will be placed inside
431
 
 * a div.
432
 
 */
433
356
function handle_error(message)
434
357
{
435
358
    var files = document.getElementById("filesbody");
436
 
    var txt_elem;
437
 
    if (typeof(message) == "string")
438
 
    {
439
 
        txt_elem = dom_make_text_elem("div", "Error: "
440
 
                   + message.toString() + ".")
441
 
    }
442
 
    else
443
 
    {
444
 
        /* Assume message is a DOM node */
445
 
        txt_elem = document.createElement("div");
446
 
        txt_elem.appendChild(message);
447
 
    }
 
359
    var txt_elem = dom_make_text_elem("div", "Error: "
 
360
        + message.toString() + ".")
448
361
    txt_elem.setAttribute("class", "padding error");
449
362
    files.appendChild(txt_elem);
450
363
}
451
364
 
452
 
/** Given a path, filename and optional revision, returns a URL to open that
453
 
 *  revision of that file.
454
 
 */
455
 
function build_revision_url(path, filename, revision)
456
 
{
457
 
    bits = {'path': app_path(this_app, path, filename)};
458
 
    if (current_revision)
459
 
    {
460
 
        bits['query_string'] = 'r=' + revision;
461
 
    }
462
 
    return build_url(bits);
463
 
}
464
 
 
465
365
/** Given a mime type, returns the path to the icon.
466
366
 * \param type String, Mime type.
467
367
 * \param sizelarge Boolean, optional.
525
425
    div.appendChild(par2);
526
426
}
527
427
 
528
 
/* Enable or disable actions1 moreactions actions. Takes either a single
529
 
 * name, or an array of them.*/
530
 
function set_action_state(names, which, allow_on_revision)
531
 
{
532
 
    if (!(names instanceof Array)) names = Array(names);
533
 
 
534
 
    for (var i=0; i < names.length; i++)
535
 
    {
536
 
        element = document.getElementById('act_' + names[i]);
537
 
        if (which &&
538
 
            !(current_file.svnstatus == 'revision' && !allow_on_revision))
539
 
        {
540
 
            /* Enabling */
541
 
            element.setAttribute("class", "choice");
542
 
            element.removeAttribute("disabled");
543
 
        }
544
 
        else
545
 
        {
546
 
            /* Disabling */
547
 
            element.setAttribute("class", "disabled");
548
 
            element.setAttribute("disabled", "disabled");
549
 
        }
550
 
    }
551
 
}
552
 
 
553
 
/* Updates the list of available actions based on files selected */
554
428
function update_actions()
555
429
{
556
430
    var file;
557
431
    var numsel = selected_files.length;
558
 
    var svn_selection = false;
559
 
    
560
 
    if (numsel > 0)
561
 
    {
562
 
        svn_selection = true;
563
 
        for (var i = 0; i < selected_files.length; i++){
564
 
            if (file_listing[selected_files[i]]["svnstatus"] == "unversioned")
565
 
            {
566
 
                svn_selection = false;        
567
 
            }
568
 
        }
569
 
    }
570
 
    
571
432
    if (numsel <= 1)
572
433
    {
573
434
        if (numsel == 0)
599
460
        else
600
461
            open.setAttribute("title",
601
462
                "Edit or view this file");
602
 
        open.setAttribute("href", build_revision_url(current_path, filename,
603
 
                                                     current_revision));
 
463
        open.setAttribute("href", app_path(this_app, current_path, filename));
604
464
    }
605
465
    else
606
466
    {
613
473
    /* Available if zero or one files are selected,
614
474
     * and only if this is a file, not a directory */
615
475
    var serve = document.getElementById("act_serve");
616
 
    if (numsel <= 1 && !file.isdir && current_file.svnstatus != 'revision')
 
476
    if (numsel <= 1 && !file.isdir)
617
477
    {
618
478
        serve.setAttribute("class", "choice");
619
 
        serve.setAttribute("onclick",
620
 
              "return maybe_save('The last saved version will be served.')");
621
479
        if (numsel == 0)
622
480
            serve.setAttribute("href",
623
481
                app_path(serve_app, current_path));
629
487
    {
630
488
        serve.setAttribute("class", "disabled");
631
489
        serve.removeAttribute("href");
632
 
        serve.removeAttribute("onclick");
633
490
    }
634
491
 
635
492
    /* Run */
638
495
     */
639
496
    var run = document.getElementById("act_run");
640
497
     
641
 
    if (numsel <= 1 && !file.isdir && file.type == "text/x-python" 
642
 
            && current_file.svnstatus != 'revision')
643
 
    {
644
 
        if (numsel == 0)
645
 
        {
646
 
            // In the edit window
647
 
            var localpath = path_join('/home', current_path);
648
 
        }
649
 
        else
650
 
        {
651
 
            // In the browser window
652
 
            var localpath = path_join('/home', current_path, filename);
653
 
        }
654
 
        run.setAttribute("class", "choice");
 
498
    if (numsel == 0 && !file.isdir && file.type == "text/x-python")
 
499
    {
 
500
        // In the edit window
 
501
        run.setAttribute("class", "choice");
 
502
        localpath = app_path('home',current_path);
 
503
        run.setAttribute("onclick", "runfile('" + localpath + "')");
 
504
    }
 
505
    else if (numsel == 1 && !file.isdir && file.type == "text/x-python")
 
506
    {
 
507
        // In the browser window
 
508
        run.setAttribute("class", "choice");
 
509
        localpath = app_path('home',current_path,filename);
655
510
        run.setAttribute("onclick", "runfile('" + localpath + "')");
656
511
    }
657
512
    else
661
516
    }
662
517
 
663
518
    /* Download */
664
 
    /* Always available for current files.
 
519
    /* Always available.
665
520
     * If 0 files selected, download the current file or directory as a ZIP.
666
521
     * If 1 directory selected, download it as a ZIP.
667
522
     * If 1 non-directory selected, download it.
668
523
     * If >1 files selected, download them all as a ZIP.
669
524
     */
670
525
    var download = document.getElementById("act_download");
671
 
    if (current_file.svnstatus == 'revision')
672
 
    {
673
 
        download.setAttribute("class", "disabled");
674
 
        download.removeAttribute("onclick");
675
 
    }
676
 
    else if (numsel <= 1)
677
 
    {
678
 
        download.setAttribute("class", "choice")
 
526
    if (numsel <= 1)
 
527
    {
679
528
        if (numsel == 0)
680
529
        {
681
530
            download.setAttribute("href",
706
555
        for (var i=0; i<numsel; i++)
707
556
            dlpath += "path=" + encodeURIComponent(selected_files[i]) + "&";
708
557
        dlpath = dlpath.substr(0, dlpath.length-1);
709
 
        download.setAttribute("class", "choice")
710
558
        download.setAttribute("href", dlpath);
711
559
        download.setAttribute("title",
712
560
            "Download the selected files as a ZIP file");
719
567
     * directory. */
720
568
    var publish = document.getElementById("act_publish");
721
569
    var submit = document.getElementById("act_submit");
722
 
    var pubcond = numsel <= 1 && file.isdir;
723
 
    if (pubcond)
 
570
    if (numsel <= 1 && file.isdir)
724
571
    {
 
572
        /* TODO: Work out of file is svn'd */
 
573
        publish.setAttribute("class", "choice");
 
574
        publish.removeAttribute("disabled");
725
575
        /* If this dir is already published, call it "Unpublish" */
726
576
        if (file.published)
727
577
        {
735
585
                + "can be seen by anyone on the web");
736
586
            publish.textContent = "Publish";
737
587
        }
738
 
    }
739
 
    set_action_state(["publish", "submit"], pubcond);
 
588
        submit.setAttribute("class", "choice");
 
589
        submit.removeAttribute("disabled");
 
590
    }
 
591
    else
 
592
    {
 
593
        publish.setAttribute("class", "disabled");
 
594
        publish.setAttribute("disabled", "disabled");
 
595
        submit.setAttribute("class", "disabled");
 
596
        submit.setAttribute("disabled", "disabled");
 
597
    }
740
598
 
741
599
    /* Share */
742
 
    /* If exactly 1 non-directory file is selected, and its parent
 
600
    /* If exactly 1 non-directory file is selected/opened, and its parent
743
601
     * directory is published.
744
602
     */
745
 
    set_action_state("share", numsel == 1 && !file.isdir &&
746
 
                     current_file.published);
 
603
    var share = document.getElementById("act_share");
 
604
    if (numsel <= 1 && !file.isdir)
 
605
    {
 
606
        /* Work out if parent dir is published */
 
607
        parentdir = current_file;
 
608
        if (parentdir.published)
 
609
        {
 
610
            share.setAttribute("class", "choice");
 
611
            share.removeAttribute("disabled");
 
612
        } else {
 
613
            share.setAttribute("class", "disabled");
 
614
            share.setAttribute("disabled", "disabled");
 
615
        }
 
616
    }
 
617
    else
 
618
    {
 
619
        share.setAttribute("class", "disabled");
 
620
        share.setAttribute("disabled", "disabled");
 
621
    }
747
622
 
748
623
    /* Rename */
749
624
    /* If exactly 1 file is selected */
750
 
    set_action_state("rename", numsel == 1);
 
625
    var rename = document.getElementById("act_rename");
 
626
    if (numsel == 1)
 
627
    {
 
628
        rename.setAttribute("class", "choice");
 
629
        rename.removeAttribute("disabled");
 
630
    }
 
631
    else
 
632
    {
 
633
        rename.setAttribute("class", "disabled");
 
634
        rename.setAttribute("disabled", "disabled");
 
635
    }
751
636
 
752
637
    /* Delete, cut, copy */
753
638
    /* If >= 1 file is selected */
754
 
    set_action_state(["delete", "cut", "copy"], numsel >= 1);
 
639
    var act_delete = document.getElementById("act_delete");
 
640
    var cut = document.getElementById("act_cut");
 
641
    var copy = document.getElementById("act_copy");
 
642
    if (numsel >= 1)
 
643
    {
 
644
        act_delete.setAttribute("class", "choice");
 
645
        act_delete.removeAttribute("disabled");
 
646
        cut.setAttribute("class", "choice");
 
647
        cut.removeAttribute("disabled");
 
648
        copy.setAttribute("class", "choice");
 
649
        copy.removeAttribute("disabled");
 
650
    }
 
651
    else
 
652
    {
 
653
        act_delete.setAttribute("class", "disabled");
 
654
        act_delete.setAttribute("disabled", "disabled");
 
655
        cut.setAttribute("class", "disabled");
 
656
        cut.setAttribute("disabled", "disabled");
 
657
        copy.setAttribute("class", "disabled");
 
658
        copy.setAttribute("disabled", "disabled");
 
659
    }
755
660
 
756
661
    /* Paste, new file, new directory, upload */
757
662
    /* Disable if the current file is not a directory */
758
 
    set_action_state(["paste", "newfile", "mkdir", "upload"], current_file.isdir);
 
663
    if (!current_file.isdir)
 
664
    {
 
665
        var paste = document.getElementById("act_paste");
 
666
        var newfile = document.getElementById("act_newfile");
 
667
        var mkdir = document.getElementById("act_mkdir");
 
668
        var upload = document.getElementById("act_upload");
 
669
        paste.setAttribute("class", "disabled");
 
670
        paste.setAttribute("disabled", "disabled");
 
671
        newfile.setAttribute("class", "disabled");
 
672
        newfile.setAttribute("disabled", "disabled");
 
673
        mkdir.setAttribute("class", "disabled");
 
674
        mkdir.setAttribute("disabled", "disabled");
 
675
        upload.setAttribute("class", "disabled");
 
676
        upload.setAttribute("disabled", "disabled");
 
677
    }
759
678
 
760
679
    /* Subversion actions */
761
 
    /* These are only useful if we are in a versioned directory and have some
762
 
     * files selected. */
763
 
    set_action_state(["svnadd",], numsel >= 1 && current_file.svnstatus);
764
 
    /* And these are only usefull is ALL the selected files are versioned */
765
 
    set_action_state(["svnremove", "svnrevert", "svncommit", "svncopy", 
766
 
            "svncut"], numsel >= 1 && current_file.svnstatus && svn_selection);
767
 
    
768
 
    /* Diff, log and update only support one path at the moment, so we must
769
 
     * have 0 or 1 versioned files selected. If 0, the directory must be
770
 
     * versioned. */
771
 
    single_versioned_path = (
772
 
         (
773
 
          (numsel == 1 && (svnst = file_listing[selected_files[0]].svnstatus)) ||
774
 
          (numsel == 0 && (svnst = current_file.svnstatus))
775
 
         ) && svnst != "unversioned");
776
 
    set_action_state(["svndiff", "svnupdate"], single_versioned_path);
777
 
 
778
 
    /* We can resolve if we have a file selected and it is conflicted. */
779
 
    set_action_state("svnresolved", single_versioned_path && numsel == 1 && svnst == "conflicted");
780
 
 
781
 
    /* Log should be available for revisions as well. */
782
 
    set_action_state("svnlog", single_versioned_path, true);
 
680
    /* TODO: Work out when these are appropriate */
 
681
    var svnadd = document.getElementById("act_svnadd");
 
682
    var svnrevert = document.getElementById("act_svnrevert");
 
683
    var svncommit = document.getElementById("act_svncommit");
 
684
    if (true)
 
685
    {
 
686
        svnadd.setAttribute("class", "choice");
 
687
        svnadd.removeAttribute("disabled");
 
688
        svnrevert.setAttribute("class", "choice");
 
689
        svnrevert.removeAttribute("disabled");
 
690
        svncommit.setAttribute("class", "choice");
 
691
        svncommit.removeAttribute("disabled");
 
692
    }
 
693
    var svncheckout = document.getElementById("act_svncheckout");
 
694
    /* current_path == username: We are at the top level */
 
695
    if (current_path == username)
 
696
    {
 
697
        svncheckout.setAttribute("class", "choice");
 
698
        svncheckout.removeAttribute("disabled");
 
699
    }
 
700
    else
 
701
    {
 
702
        svncheckout.setAttribute("class", "disabled");
 
703
        svncheckout.setAttribute("disabled", "disabled");
 
704
    }
783
705
 
784
706
    /* There is currently nothing on the More Actions menu of use
785
707
     * when the current file is not a directory. Hence, just remove
786
708
     * it entirely.
787
709
     * (This makes some of the above decisions somewhat redundant).
788
 
     * We also take this opportunity to show the appropriate actions2
789
 
     * bar for this path. It should either be a save or upload widget.
790
710
     */
791
 
    if (current_file.isdir)
 
711
    if (!(current_file.isdir))
792
712
    {
793
 
        var actions2_directory = document.getElementById("actions2_directory");
794
 
        actions2_directory.setAttribute("style", "display: inline;");
795
713
        var moreactions = document.getElementById("moreactions_area");
796
 
        moreactions.setAttribute("style", "display: inline;");
797
 
    }
798
 
    else
799
 
    {
800
 
        var actions2_file = document.getElementById("actions2_file");
801
 
        actions2_file.setAttribute("style", "display: inline;");
 
714
        moreactions.setAttribute("style", "display: none;");
802
715
    }
803
716
 
804
717
    return;
835
748
        action_unpublish(selected_files);
836
749
        break;
837
750
    case "share":
838
 
        window.open(public_app_path("~" + current_path, filename), 'share')
 
751
        //alert("Not yet implemented: Sharing files");
 
752
        window.open(public_app_path(serve_app, current_path, filename), 'share')
839
753
        break;
840
754
    case "submit":
841
755
        // TODO
845
759
        action_rename(filename);
846
760
        break;
847
761
    case "delete":
848
 
        action_delete(selected_files);
 
762
        action_remove(selected_files);
849
763
        break;
850
764
    case "copy":
851
765
        action_copy(selected_files);
868
782
    case "svnadd":
869
783
        action_add(selected_files);
870
784
        break;
871
 
    case "svnremove":
872
 
        action_remove(selected_files);
873
 
        break;
874
785
    case "svnrevert":
875
786
        action_revert(selected_files);
876
787
        break;
877
 
    case "svndiff":
878
 
        window.location = path_join(app_path('diff'), current_path, selected_files[0] || '');
879
 
        break;
880
 
    case "svnupdate":
881
 
        action_update(selected_files);
882
 
        break;
883
 
    case "svnresolved":
884
 
        action_resolved(selected_files);
885
 
        break;
886
788
    case "svncommit":
887
789
        action_commit(selected_files);
888
790
        break;
889
 
    case "svnlog":
890
 
        window.location = path_join(app_path('svnlog'), current_path, selected_files[0] || '');
891
 
        break;
892
 
    case "svncopy":
893
 
        action_svncopy(selected_files);
894
 
        break;
895
 
    case "svncut":
896
 
        action_svncut(selected_files);
 
791
    case "svncheckout":
 
792
        action_checkout();
897
793
        break;
898
794
    }
899
795
}
903
799
 */
904
800
function runfile(localpath)
905
801
{
906
 
    if (!maybe_save('The last saved version will be run.')) return false;
907
 
 
908
802
    /* Dump the entire file to the console */
909
803
    var callback = function()
910
804
    {
916
810
 
917
811
/** Called when the page loads initially.
918
812
 */
919
 
function browser_init()
 
813
window.onload = function()
920
814
{
921
815
    /* Navigate (internally) to the path in the URL bar.
922
816
     * This causes the page to be populated with whatever is at that address,
945
839
    }
946
840
 
947
841
    navigate(path);
 
842
 
 
843
    /* Set up the console plugin to display as a popup window */
 
844
    console_init(true);
948
845
}