Searched refs:robotTimeoutIndex (Results 1 – 2 of 2) sorted by relevance
87 int robotTimeoutIndex = args.indexOf("-robot-timeout"); in handleUserOptions() local88 if (robotTimeoutIndex != -1) in handleUserOptions()89 m_robotTimeoutSeconds = takeOptionValue(&args, robotTimeoutIndex).toInt(); in handleUserOptions()
315 int robotTimeoutIndex = args.indexOf("-robot-timeout"); in handleUserOptions() local316 if (robotTimeoutIndex != -1) in handleUserOptions()317 m_robotTimeoutSeconds = takeOptionValue(&args, robotTimeoutIndex).toInt(); in handleUserOptions()