function shutdown() {
            if (!clean) {
                $("#input-div").hide();
            }
            if (!rserve.closed)
                rserve.close();
        }
// in on_error and on_close both being called.
in on_error and on_close both being called.
in on_error and on_close both being called .
function shutdown() {
            if (!clean) {
                $("#input-div").hide();
            }
            if (!rserve.closed)
                rserve.close();
        }
function shutdown ( ) { if ( ! clean ) { $ ( "#input-div" ) . hide ( ) ; } if ( ! rserve . closed ) rserve . close ( ) ; }
in on_error and on_close both being called.
in on_error and on_close both being called .