1
0
mirror of https://github.com/php/php-src.git synced 2026-03-31 20:53:00 +02:00

Merge branch 'master' of github.com:krakjoe/phpdbg

This commit is contained in:
Felipe Pena
2013-11-12 11:34:09 -02:00

View File

@@ -607,7 +607,11 @@ static const phpdbg_command_t phpdbg_prompt_commands[] = {
int phpdbg_do_cmd(const phpdbg_command_t *command, char *cmd_line, size_t cmd_len TSRMLS_DC) /* {{{ */
{
char *params = NULL;
#ifndef _WIN32
const char *cmd = strtok_r(cmd_line, " ", &params);
#else
const char *cmd = strtok_s(cmd_line, " ", &params);
#endif
size_t expr_len = cmd != NULL ? strlen(cmd) : 0;
while (command && command->name) {