Number of mix servers from config file, cleaned code
Number of mix servers from config file, cleaned code

escapin/ElectionManager,escapin/ElectionManager,escapin/ElectionManager,escapin/ElectionManager