Fix a bug related to ProInterval

The value of ProInterval was not refreshed for each restart. This bug is
fixed in this patch.