Port log from config

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

requested review from @claudio.scafuri

assigned to @claudio.scafuri

added 1 commit

• bbf7ec68 - removed - old

Compare with previous version

mentioned in commit a104a684

merged