Searched refs:PidFile (Results 1 – 2 of 2) sorted by relevance
42 public string PidFile { get; set; } property in Antmicro.Renode.UI.Options
55 if(options.PidFile != null) in Run()58 File.WriteAllText(options.PidFile, pid.ToString()); in Run()
