diff --git a/doc/config.html b/doc/config.html index eaf71344..b38ab02f 100755 --- a/doc/config.html +++ b/doc/config.html @@ -2131,7 +2131,7 @@ started from both servers.