Skip to content

Catch ioerror

André Anjos requested to merge catch_ioerror into master
  • If BOB_DOCUMENTATION_SERVER is pointing to a local directory, ignore it if it's not there
  • Even better string splitting and stripping for BOB_DOCUMENTATION_SERVER

Merge request reports