vmUriFile top-level property

String get vmUriFile

Implementation

String get vmUriFile => '$_sessionDir/vm_uri.txt';