Skip to content
GitLab

Port log from config

Merged Claudio Scafuri requested to merge port_log_from_config into master

use configuration file for setting port number and log file fix handling of DevFailed excpetions