📄 runbench.pl
字号:
#!/pkg/gnu/bin//perl5
#
#runbench.pl,v 1.2 2000/06/04 22:00:03 brunsch Exp
#
push(@INC, "$wd/bin");
require('WebStone-common.pl');
require('flush.pl');
# force flush after every write or print
$| = 1;
html_begin("In Progress");
print CLIENT "<H3><CENTER>Running WebStone</CENTER></H3><PRE>";
show_model();
&flush(CLIENT);
&flush(STDOUT);
&start_runbench();
print CLIENT <<EOF
<TITLE>WebStone Completed</TITLE>
</PRE><CENTER>
<FORM METHOD=POST ACTION="http://localhost:$html_port$wd/bin/view-results.pl">
<INPUT TYPE="submit" VALUE="View Results">
</CENTER>
EOF
;
html_end();
sub start_runbench {
$command = "cd $wd/bin; ./runbench";
system($command);
}
# end
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -