if (cmd != '') {
                    r2.cmd(inColor(cmd), function(x) {
                        var old_value = $('#cmd_output').text();
                        $('#cmd_output').html(old_value + '\n> ' + cmd + '\n' + x);
                        $('#cmd_output').scrollTo($('#cmd_output')[0].scrollHeight);