server: Add servePlaceId for verifying correct place IDs

This commit is contained in:
Lucien Greathouse
2019-01-04 13:48:50 -08:00
parent 64e2ef3d3b
commit ae36688bf2

View File

@@ -78,6 +78,7 @@ struct SourceProject {
name: String, name: String,
tree: SourceProjectNode, tree: SourceProjectNode,
serve_port: Option<u16>, serve_port: Option<u16>,
serve_place_id: Option<u64>,
} }
impl SourceProject { impl SourceProject {
@@ -88,6 +89,7 @@ impl SourceProject {
name: self.name, name: self.name,
tree, tree,
serve_port: self.serve_port, serve_port: self.serve_port,
serve_place_id: self.serve_place_id,
file_location: PathBuf::from(project_file_location), file_location: PathBuf::from(project_file_location),
} }
} }
@@ -172,6 +174,7 @@ pub struct Project {
pub name: String, pub name: String,
pub tree: ProjectNode, pub tree: ProjectNode,
pub serve_port: Option<u16>, pub serve_port: Option<u16>,
pub serve_place_id: Option<u64>,
pub file_location: PathBuf, pub file_location: PathBuf,
} }