Ideally this would be a configurable timeout, since in some environments packets could be delayed arbitrarily. 0.5 sec seems a reasonable default, though.