From 069dbc4e97a162d080469d3b2fa5b1d17cb21c6c Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Tue, 15 Mar 2016 06:04:42 +0000
Subject: [PATCH] Justifying the default pause time.

Copied from Perforce
 Change: 190049
 ServerID: perforce.ravenbrook.com
---
 mps/code/config.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/mps/code/config.h b/mps/code/config.h
index adee968a8f6..734ab21a876 100644
--- a/mps/code/config.h
+++ b/mps/code/config.h
@@ -412,7 +412,9 @@
 #define ARENA_DEFAULT_SPARE_COMMIT_LIMIT   ((Size)10uL*1024uL*1024uL)
 
 /* ARENA_DEFAULT_PAUSE_TIME is the maximum time (in seconds) that
- * operations within the arena may pause the mutator for. */
+ * operations within the arena may pause the mutator for.  The default
+ * is set for typical human interaction.  See mps_arena_pause_time_set
+ * in the manual. */
 
 #define ARENA_DEFAULT_PAUSE_TIME (0.1)