Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Date: Mon, 20 Aug 2018 00:07:28 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Cc: Gleki Arxokuna <gleki.is.my.name@gmail.com>
Subject: Re: [lojban] Re: jbovlaste got a bug
Message-ID: <20180820070728.GO15098@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com,
	Gleki Arxokuna <gleki.is.my.name@gmail.com>
References: <CAO7bV+gdRSVgg2Qjvmtkvm-EG4fWAS=Sk0BK-mHU67fzMWOiWA@mail.gmail.com>
 <20180820052450.GN15098@stodi.digitalkingdom.org>
 <CAO7bV+ifOfE9g4_Lh---6xPRs3=yGuQdMa5fA-96ZWhDHgM+qQ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline
In-Reply-To: <CAO7bV+ifOfE9g4_Lh---6xPRs3=yGuQdMa5fA-96ZWhDHgM+qQ@mail.gmail.com>
User-Agent: Mutt/1.10.0 (2018-05-17)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.7
X-Spam_score_int: -26
X-Spam_bar: --


On Mon, Aug 20, 2018 at 09:10:45AM +0300, Gleki Arxokuna wrote:
> 2018-08-20 8:24 GMT+03:00 Robin Lee Powell <rlpowell@digitalkingdom.org>:
> 
> > On Sat, Aug 18, 2018 at 10:35:35PM +0300, Gleki Arxokuna wrote:
> > > http://jbovlaste.lojban.org/dict/coi
> > >
> > >
> > > no idea why is that happening. probably we need to roll back
> > > latest commits?
> >
> > So it turns out the database needs to be cleaned more often; I've
> > fixed that.
> >
> > This revealed some further corruption; there should never be two
> > valsi with the same name in the DB, but there were.
> >
> 
> I'm not completely familiar with jbovlaste's code but:
> 1. one valsi can have many definitions in many languages.
> 2. one valsi can have more than one definition in the same language!
> 
> Is this okay? This has always been like that. People been adding several
> definitions for one valsi for years, that's a useful feature.

Yes, every valsi can have many definitions in many languages.

That's why there should never ever be two of the same valsi.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.