From 16c5174bf6aeb5be5122390678094cbb8387e6d5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 19 Jan 2008 20:17:27 +0000 Subject: [PATCH] Increase length limits on domains --- src/domain.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/domain.sml b/src/domain.sml index d7b4052..8960bf9 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -113,11 +113,11 @@ fun validIpv6 s = fun isIdent ch = Char.isLower ch orelse Char.isDigit ch fun validHost s = - size s > 0 andalso size s < 20 + size s > 0 andalso size s < 50 andalso CharVector.all (fn ch => isIdent ch orelse ch = #"-") s fun validDomain s = - size s > 0 andalso size s < 100 + size s > 0 andalso size s < 200 andalso List.all validHost (String.fields (fn ch => ch = #".") s) fun validNode s = List.exists (fn s' => s = s') nodes -- 2.20.1