Searched refs:JERRY_DEBUGGER_SOURCE_RECEIVE_FAILED (Results 1 – 4 of 4) sorted by relevance
113 jerry_debugger_wait_for_source_status_t ret_type = JERRY_DEBUGGER_SOURCE_RECEIVE_FAILED; in jerry_debugger_wait_for_client_source()178 return JERRY_DEBUGGER_SOURCE_RECEIVE_FAILED; in jerry_debugger_wait_for_client_source()183 return JERRY_DEBUGGER_SOURCE_RECEIVE_FAILED; in jerry_debugger_wait_for_client_source()
41 JERRY_DEBUGGER_SOURCE_RECEIVE_FAILED = 0, /**< source is not received */ enumerator
791 if (receive_status == JERRY_DEBUGGER_SOURCE_RECEIVE_FAILED) in main()
363 if (receive_status == JERRY_DEBUGGER_SOURCE_RECEIVE_FAILED)