Searched refs:RobotPortFile (Results 1 – 1 of 1) sorted by relevance
56 if(!TemporaryFilesManager.Instance.TryCreateFile(RobotPortFile, out var file)) in TryCreatePortFile()138 private const string RobotPortFile = "robot_port"; field in Antmicro.Renode.RobotFramework.HttpServer
