Home
last modified time | relevance | path

Searched refs:JERRY_DEBUGGER_SOURCE_END (Results 1 – 3 of 3) sorted by relevance

/third_party/jerryscript/jerry-core/include/
Djerryscript-debugger.h43 JERRY_DEBUGGER_SOURCE_END = 2, /**< the end of the sources signal received */ enumerator
/third_party/jerryscript/jerry-core/api/
Djerry-debugger.c138 ret_type = JERRY_DEBUGGER_SOURCE_END; in jerry_debugger_wait_for_client_source()
/third_party/jerryscript/jerry-main/
Dmain-unix.c797 if (receive_status == JERRY_DEBUGGER_SOURCE_END) in main()