diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2014-10-26 03:50:28 +0100 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2014-10-27 00:00:13 +0100 |
| commit | cc70ec1e6735bb60606673c72c5ce9d9cb076e29 (patch) | |
| tree | cad900331a52095c712edd4ad484e2b7f90413a6 /sapi/phpdbg/phpdbg_io.h | |
| parent | 25e3560546110183d539e5c111b75ae3d99b119c (diff) | |
| download | php-git-cc70ec1e6735bb60606673c72c5ce9d9cb076e29.tar.gz | |
Add question to reset execution in run/exec/clean
Diffstat (limited to 'sapi/phpdbg/phpdbg_io.h')
| -rw-r--r-- | sapi/phpdbg/phpdbg_io.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sapi/phpdbg/phpdbg_io.h b/sapi/phpdbg/phpdbg_io.h index 3ac8f4112d..a5659e88c6 100644 --- a/sapi/phpdbg/phpdbg_io.h +++ b/sapi/phpdbg/phpdbg_io.h @@ -21,6 +21,8 @@ #include "phpdbg.h" +PHPDBG_API int phpdbg_consume_stdin_line(char *buf TSRMLS_DC); + PHPDBG_API int phpdbg_consume_bytes(int sock, char *ptr, int len, int tmo TSRMLS_DC); PHPDBG_API int phpdbg_send_bytes(int sock, const char *ptr, int len); PHPDBG_API int phpdbg_mixed_read(int sock, char *ptr, int len, int tmo TSRMLS_DC); |