CheckEnd(integer)
Notifies a client that checking has completed. The integer argument indicates the number of errors occurred while checking GDB.
