launch_done


Description:

public signal void launch_done (SessionEventParams object)