From e2c9652af00f857926663ae47bc9b3acb13f0ae4 Mon Sep 17 00:00:00 2001
From: Christopher Allen <cpcallen+git@google.com>
Date: Wed, 3 Mar 2021 17:03:50 +0000
Subject: [PATCH] Dump intrp.Server instance .timeLimit values

This is not otherwise preserved.
---
 server/dumper.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/server/dumper.js b/server/dumper.js
index 5791beba..7d37ba77 100644
--- a/server/dumper.js
+++ b/server/dumper.js
@@ -202,7 +202,8 @@ Dumper.prototype.dump = function() {
     var port = Number(key);
     var listener = this.intrp2.listeners_[port];
     this.write(this.exprForBuiltin_('CC.connectionListen') + '(' +
-        port + ', ' + this.exprFor_(listener.proto) + ');');
+        port + ', ' + this.exprFor_(listener.proto) + ', ' +
+        this.exprFor_(listener.timeLimit) + ');');
   }
 };