File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -810,21 +810,19 @@ phpdbg_help_text_t phpdbg_help_text[] = {
810810
811811{"run" ,
812812"Enter the vm, starting execution. Execution will then continue until the next breakpoint "
813- "or completion of the script. Add parameters you want to use as $argv" CR CR
813+ "or completion of the script. Add parameters you want to use as $argv. Add a trailing "
814+ "**< filename** for reading STDIN from a file." CR CR
814815
815816"**Examples**" CR CR
816817
817818" $P run" CR
818819" $P r" CR
819820" Will cause execution of the context, if it is set" CR CR
820- " $P r test" CR
821- " Will execute with $argv[1] == \"test\"" CR CR
821+ " $P r test < foo.txt " CR
822+ " Will execute with $argv[1] == \"test\" and read from the foo.txt file for STDIN " CR CR
822823
823824"Note that the execution context must be set. If not previously compiled, then the script will "
824- "be compiled before execution." CR CR
825-
826- "Note that attempting to run a script that is already executing will result in an \"execution "
827- "in progress\" error."
825+ "be compiled before execution."
828826},
829827
830828{"set" ,
You can’t perform that action at this time.
0 commit comments