Merge pull request #738 from whisperity/fix_thrift

There is no such thing as an optional argument in Thrift
Ericsson · Jul 19, 2017 · 668f4f7 · 668f4f7
2 parents c588dca + cae43e2
commit 668f4f7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/api/report_server.thrift b/api/report_server.thrift
@@ -195,7 +195,7 @@ service codeCheckerDBAccess {
   SourceFileData getSourceFileData(
                                    1: i64 fileId,
                                    2: bool fileContent,
-                                   3: optional Encoding encoding)
+                                   3: Encoding encoding)
                                    throws (1: shared.RequestFailed requestError),
 
   // get the file id from the database for a filepath, returns -1 if not found
@@ -371,7 +371,7 @@ service codeCheckerDBAccess {
   bool addFileContent(
                       1: i64 file_id,
                       2: string file_content,
-                      3: optional Encoding encoding)
+                      3: Encoding encoding)
                       throws (1: shared.RequestFailed requestError),
 
   bool finishCheckerRun(1: i64 run_id)