Convert from grpc to grpc-js, since the former is deprecated and no longer compiles...

[remoteglot] / config.pm

diff --git a/config.pm b/config.pm
index 44ed56b0b50555498e80fede05077e3981c85464..7f7e23c8688b7178ab6df4525b6d31d73ed304a1 100644 (file)
--- a/config.pm
+++ b/config.pm
@@ -58,6 +58,7 @@ our %engine2_config = (
 our $engine2_grpc_backend = undef;  # Not used by us, but will be communicated to serve-analysis.js.
 
 our $update_max_interval = 1.0;
+our $update_force_after_move = 0.2;
 our @masters = (
        'Sesse',
 );