mdserver-web/plugins/webssh/index.html

<script type="text/javascript">

resetPluginWinWidth(480);
$.getScript( "/plugins/file?name=webssh&f=js/webssh.js", function() {
	if ($(".term-box #term").text() != 'W') {
        layer.closeAll();
        web_shell2();
    }
});
</script>
u 7 years ago			`<script type="text/javascript">`
update 6 years ago
			`resetPluginWinWidth(480);`
update 7 years ago			`$.getScript( "/plugins/file?name=webssh&f=js/webssh.js", function() {`
			`if ($(".term-box #term").text() != 'W') {`
u 7 years ago			`layer.closeAll();`
update 6 years ago			`web_shell2();`
u 7 years ago			`}`
update 7 years ago			`});`
u 7 years ago			`</script>`