void do_info_vnc(Monitor *mon)

{

    if (vnc_display == NULL || vnc_display->display == NULL)

        monitor_printf(mon, "VNC server disabled\n");

    else {

        monitor_printf(mon, "VNC server active on: ");

        monitor_print_filename(mon, vnc_display->display);

        monitor_printf(mon, "\n");



	if (vnc_display->clients == NULL)

            monitor_printf(mon, "No client connected\n");

	else

	    monitor_printf(mon, "Client connected\n");

    }

}

void do_info_vnc(Monitor *mon)

{

    if (vnc_display == NULL || vnc_display->display == NULL)

        monitor_printf(mon, "VNC server disabled\n");

    else {

        monitor_printf(mon, "VNC server active on: ");

        monitor_print_filename(mon, vnc_display->display);

        monitor_printf(mon, "\n");



	if (vnc_display->clients == NULL)

            monitor_printf(mon, "No client connected\n");

	else

	    monitor_printf(mon, "Client connected\n");

    }

}

void FUNC_0(Monitor *VAR_0)

{

    if (vnc_display == NULL || vnc_display->display == NULL)

        monitor_printf(VAR_0, "VNC server disabled\n");

    else {

        monitor_printf(VAR_0, "VNC server active on: ");

        monitor_print_filename(VAR_0, vnc_display->display);

        monitor_printf(VAR_0, "\n");



	if (vnc_display->clients == NULL)

            monitor_printf(VAR_0, "No client connected\n");

	else

	    monitor_printf(VAR_0, "Client connected\n");

    }

}

void FUNC_0(Monitor *VAR_0)
{ if (vnc_display == NULL || vnc_display->display == NULL)
monitor_printf(VAR_0, "VNC server disabled\n"); else { monitor_printf(VAR_0, "VNC server active on: "); monitor_print_filename(VAR_0, vnc_display->display); monitor_printf(VAR_0, "\n"); if (vnc_display->clients == NULL)
monitor_printf(VAR_0, "No client connected\n"); else
monitor_printf(VAR_0, "Client connected\n"); } }