From b3eeaff83b6bf7cbb66d0f019093c0973ec3bfe0 Mon Sep 17 00:00:00 2001 From: Fang Date: Mon, 7 Aug 2017 20:42:52 -0700 Subject: [PATCH] Started allowing capitals in web.plan usernames. --- mar/plan.hoon | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mar/plan.hoon b/mar/plan.hoon index 3fce277e1..b9949e635 100644 --- a/mar/plan.hoon +++ b/mar/plan.hoon @@ -40,7 +40,8 @@ (malt (turn t.t.a |=(b/cord (rash b account)))) :: ++ user ;~(pfix (jest 'User ') (cook crip (star prn))) - ++ knot (sear (flit |=(a/^knot !=('' a))) urs:ab) + ++ knot %+ cook crip + (plus ;~(pose nud low hig hep dot sig cab)) ++ location ;~(pfix (jest 'Location ') (cook crip (star prn))) ++ account ;~ plug