Changeset 14266 for misc/runpugs/data

Show
Ignore:
Timestamp:
10/12/06 02:11:11 (2 years ago)
Author:
andara
Message:

[runpugs]
some stability fixes; better (or more friendly) error messages; warning on
main page.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • misc/runpugs/data/runpugs.html

    r14233 r14266  
    2626 
    2727</head> 
    28  
    2928<body> 
     29<!-- 
     30<body onLoad="closing=true" onUnload="if (closing){alert(42); 
     31window.open('feather.perl6.nl:8080/cgi-bin/runpugs?action=runpugs&sessionid='+document.terminal.sessionid.value+'&testing=1&cmd=pugs%3E%20%3Aq','newwin');}"> 
     32--> 
    3033<div id="mainwindow"> 
    3134<h1>Run Perl6 now -- in your browser!</h1> 
    32 <form style="text-align: center" name="terminal" action="/cgi-bin/runpugs" method="POST">                   
     35<p class="warning">Thank you for trying runpugs, a web terminal for pugs.<br> 
     36* This is a test run, it might die unexpectedly!<br> 
     37* pugs runs in safe mode<br> 
     38* Unicode is not supported 
     39</p> 
     40<form style="text-align: center" id="term" name="terminal" action="/cgi-bin/runpugs" method="POST">                   
    3341                                
     42<input type="hidden" name="testing" value="_TESTING_"> 
    3443<input type="hidden" name="sessionid" value=""> 
    3544<input type="hidden"    name="action" value="runpugs">