Searched refs:JERRY_DEBUGGER_SOURCE_END (Results 1 – 3 of 3) sorted by relevance
43 JERRY_DEBUGGER_SOURCE_END = 2, /**< the end of the sources signal received */ enumerator
138 ret_type = JERRY_DEBUGGER_SOURCE_END; in jerry_debugger_wait_for_client_source()
797 if (receive_status == JERRY_DEBUGGER_SOURCE_END) in main()