diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/server/RPCServer.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/server/RPCServer.java | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/server/RPCServer.java b/src/main/java/com/google/devtools/build/lib/server/RPCServer.java index 014b17b5ae..9ea22844ee 100644 --- a/src/main/java/com/google/devtools/build/lib/server/RPCServer.java +++ b/src/main/java/com/google/devtools/build/lib/server/RPCServer.java @@ -28,8 +28,15 @@ public interface RPCServer { * Present so that we don't need to invoke a constructor with multiple arguments by reflection. */ interface Factory { - RPCServer create(BlazeCommandDispatcher dispatcher, Clock clock, int port, - Path workspace, Path serverDirectory, int maxIdleSeconds) throws IOException; + RPCServer create( + BlazeCommandDispatcher dispatcher, + Clock clock, + int port, + Path workspace, + Path serverDirectory, + int maxIdleSeconds, + boolean idleServerTasks) + throws IOException; } /** |