readyset-server: Make table request timeout configurable

Expose domain table request timeout as a CLI/env option, mirroring
the existing worker request timeout.

Release-Note-Core: Added CLI/env option TABLE_REQUEST_TIMEOUT_SECONDS
  to configure timeout for long table operations like compaction.
AI-Use: level:3
Change-Id: I1d0476b84372a415bb1047b533ac775c6a6a6964
Reviewed-on: https://gerrit.readyset.name/c/readyset/+/11085
Reviewed-by: Gautam Gopinadhan <[email protected]>
Tested-by: Buildkite CI

Author: mvzink

readyset-server/src/builder.rs

@@ -101,6 +101,7 @@ impl Builder {
         builder.set_post_lookup(opts.feature_post_lookup);
         builder.set_parsing_preset(opts.parsing_preset);
         builder.set_worker_timeout(Duration::from_secs(opts.worker_request_timeout_seconds));
+        builder.set_table_request_timeout(Duration::from_secs(opts.table_request_timeout_seconds));
         builder.set_background_recovery_interval(Duration::from_secs(
             opts.background_recovery_interval_seconds,
         ));

readyset-server/src/lib.rs

@@ -623,6 +623,15 @@ pub struct WorkerOptions {
     )]
     pub worker_request_timeout_seconds: u64,
 
+    /// Timeout in seconds for table requests issued to domains
+    #[arg(
+        long,
+        env = "TABLE_REQUEST_TIMEOUT_SECONDS",
+        default_value = "1800",
+        hide = true
+    )]
+    pub table_request_timeout_seconds: u64,
+
     /// Interval, in seconds, on which to automatically run recovery as long as there are
     /// unscheduled domains
     #[arg(