Upload local source code to micro server (#1613)

2020-05-13 12:07:53 +02:00
parent 116cc1e9ee
commit 0fb4734e67
5 changed files with 186 additions and 70 deletions
--- a/util/file/proto/file.proto
+++ b/util/file/proto/file.proto
@@ -12,6 +12,7 @@ service File {

 message OpenRequest {
 	string filename = 1;
+	bool truncate = 2;
 }

 message OpenResponse {