« Previous | Next » 

Revision b9884f70

IDb9884f70601d48efd284808bb4591f057fc8c83e

Added by Bastian Waidelich about 10 years ago

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

Some systems (namely Windows) do not support for PHPs readline_*
functions.
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