Searched refs:JERRY_DEBUGGER_SOURCE_RECEIVED (Results 1 – 4 of 4) sorted by relevance
42 JERRY_DEBUGGER_SOURCE_RECEIVED = 1, /**< a source has been received */ enumerator
157 ret_type = JERRY_DEBUGGER_SOURCE_RECEIVED; in jerry_debugger_wait_for_client_source()
357 while (receive_status == JERRY_DEBUGGER_SOURCE_RECEIVED);
809 while (receive_status == JERRY_DEBUGGER_SOURCE_RECEIVED); in main()