Fix mismatch in context getter/setter names of default port (#2554)

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
This commit is contained in:
Akos Kiss
2018-10-08 13:48:23 +02:00
committed by GitHub
parent 4a0dd587fc
commit a9c6364bce
4 changed files with 6 additions and 6 deletions
@@ -26,10 +26,10 @@ static jerry_context_t *current_context_p = NULL;
* Set the current_context_p as the passed pointer.
*/
void
jerry_port_default_set_context (jerry_context_t *context_p) /**< points to the created context */
jerry_port_default_set_current_context (jerry_context_t *context_p) /**< points to the created context */
{
current_context_p = context_p;
} /* jerry_port_default_set_context */
} /* jerry_port_default_set_current_context */
/**
* Get the current context.
@@ -37,7 +37,7 @@ bool jerry_port_default_is_abort_on_fail (void);
jerry_log_level_t jerry_port_default_get_log_level (void);
void jerry_port_default_set_log_level (jerry_log_level_t level);
void jerry_port_default_set_context (jerry_context_t *context_p);
void jerry_port_default_set_current_context (jerry_context_t *context_p);
/**
* @}