private bool change_needs_restart() {
if (edit_ == edit_type.add)
return false;
if (old_settings_.type != settings_.type)
return true;
if ( settings_.type == log_type.file)
if (old_settings_.file_type != settings_.file_type)
// user changed format, like, from XML to CSV
return true;
return false;
}