« Previous | Next » 

Revision b9884f70


Added by Bastian Waidelich over 10 years ago

[BUGFIX] deactivate interactive shell if it's not available

Some systems (namely Windows) do not support for PHPs readline_*
This change stops execution of the interactive shell command if
readline_read_history is not available in order to avoid a
fatal error.

Change-Id: I617b6ef12a4a6a798bad0c0f1d35690c37b54b39

  • added
  • modified
  • copied
  • renamed
  • deleted