From cae43e2ac80c20bf1926cfce81756b89c2b02af1 Mon Sep 17 00:00:00 2001 From: Whisperity Date: Wed, 19 Jul 2017 08:41:28 +0200 Subject: [PATCH] There is no such thing as an optional argument in Thrift --- api/report_server.thrift | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/api/report_server.thrift b/api/report_server.thrift index ec5fa066e5..b0cfbd2724 100644 --- 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)