I was trying to get my ping timeout to more than 1 second trough the ping.properties -file (\OpManager\conf\Ping.properties). I have done this before and it has worked like the documentation has said. Now after some new updates (9410 and now 10), the timeout value seems to have no effect? All the devices with timeout over 1 second are "device not responding", even if the value has been changed to 4 seconds. I have restarted the server so the new value should be used. All the documentation seems to be dated a few years ago, so is the timeout value still in use, or is there another way to do this?