Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2607:f8b0:4003:c06::22f as permitted sender) client-ip=2607:f8b0:4003:c06::22f;
MIME-Version: 1.0
In-Reply-To: <20180820052450.GN15098@stodi.digitalkingdom.org>
References: <CAO7bV+gdRSVgg2Qjvmtkvm-EG4fWAS=Sk0BK-mHU67fzMWOiWA@mail.gmail.com>
 <20180820052450.GN15098@stodi.digitalkingdom.org>
From: Gleki Arxokuna <gleki.is.my.name@gmail.com>
Date: Mon, 20 Aug 2018 09:10:45 +0300
Message-ID: <CAO7bV+ifOfE9g4_Lh---6xPRs3=yGuQdMa5fA-96ZWhDHgM+qQ@mail.gmail.com>
Subject: [lojban] Re: jbovlaste got a bug
To: Gleki Arxokuna <gleki.is.my.name@gmail.com>, lojban@googlegroups.com
Content-Type: multipart/alternative; boundary="0000000000007baf970573d7c78f"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.5
X-Spam_score_int: -24
X-Spam_bar: --

--0000000000007baf970573d7c78f
Content-Type: text/plain; charset="UTF-8"

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.


>
> There were two "ue'i"; one of them is now http://jbovlaste.lojban.org/
> dict/xue'i
>
> I would like y'all to move whatever useful data is there to the real
> ue'i and then I'll delete xue'i; let me know when I can do that.
>
> There were two "jboselbau"; one of them had no definitions and I've
> deleted it.
>
> jbovlaste=# select valsiid, word, typeid from valsi where word='ue''i';
>  valsiid | word | typeid
> ---------+------+--------
>    28921 | ue'i |      8
>    32520 | ue'i |      8
> (2 rows)
>
> jbovlaste=# update valsi set word='xue''i' where valsiid=32520;
> UPDATE 1
> jbovlaste=# select valsiid, word, typeid from valsi where word='jboselbau';
>  valsiid |   word    | typeid
> ---------+-----------+--------
>    32454 | jboselbau |      4
>    32513 | jboselbau |      4
> (2 rows)
>
> jbovlaste=# update valsi set word='jboselxau' where valsiid=32513;
> UPDATE 1
>
> jbovlaste=# select * from definitions where valsiid=32520;
>  langid | valsiid | definitionnum | definitionid | definition  |    notes
>    | userid |    time    | selmaho | jargon
> --------+---------+---------------+--------------+----------
> ---+--------------+--------+------------+---------+--------
>       1 |   32520 |         71019 |        71019 | sei ue'inmo | .i
> {ue'inmo} |    523 | 1533291649 | UI1     |
> (1 row)
>
> jbovlaste=# select * from definitions where valsiid=32513;
>  langid | valsiid | definitionnum | definitionid | definition | notes |
> userid | time | selmaho | jargon
> --------+---------+---------------+--------------+----------
> --+-------+--------+------+---------+--------
> (0 rows)
>
> jbovlaste=# delete from valsi where valsiid=32513;
> DELETE 1
>

-- 
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.

--0000000000007baf970573d7c78f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">2018-08-20 8:24 GMT+03:00 Robin Lee Powell <span dir=3D"ltr">&lt;<a hre=
f=3D"mailto:rlpowell@digitalkingdom.org" target=3D"_blank">rlpowell@digital=
kingdom.org</a>&gt;</span>:<br><blockquote class=3D"gmail_quote" style=3D"m=
argin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=3D=
"HOEnZb"><div class=3D"h5">On Sat, Aug 18, 2018 at 10:35:35PM +0300, Gleki =
Arxokuna wrote:<br>
&gt; <a href=3D"http://jbovlaste.lojban.org/dict/coi" rel=3D"noreferrer" ta=
rget=3D"_blank">http://jbovlaste.lojban.org/<wbr>dict/coi</a><br>
&gt; <br>
&gt; <br>
&gt; no idea why is that happening. probably we need to roll back<br>
&gt; latest commits?<br>
<br>
</div></div>So it turns out the database needs to be cleaned more often; I&=
#39;ve<br>
fixed that.<br>
<br>
This revealed some further corruption; there should never be two<br>
valsi with the same name in the DB, but there were.<br></blockquote><div><b=
r></div><div>I&#39;m not completely familiar with jbovlaste&#39;s code but:=
</div><div>1. one valsi can have many definitions in many languages.</div><=
div>2. one valsi can have more than one definition in the same language!</d=
iv><div><br></div><div>Is this okay? This has always been like that. People=
 been adding several definitions for one valsi for years, that&#39;s a usef=
ul feature.</div><div>=C2=A0</div><blockquote class=3D"gmail_quote" style=
=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
There were two &quot;ue&#39;i&quot;; one of them is now <a href=3D"http://j=
bovlaste.lojban.org/dict/xue&#39;i" rel=3D"noreferrer" target=3D"_blank">ht=
tp://jbovlaste.lojban.org/<wbr>dict/xue&#39;i</a><br>
<br>
I would like y&#39;all to move whatever useful data is there to the real<br=
>
ue&#39;i and then I&#39;ll delete xue&#39;i; let me know when I can do that=
.<br>
<br>
There were two &quot;jboselbau&quot;; one of them had no definitions and I&=
#39;ve<br>
deleted it.<br>
<br>
jbovlaste=3D# select valsiid, word, typeid from valsi where word=3D&#39;ue&=
#39;&#39;i&#39;;<br>
=C2=A0valsiid | word | typeid<br>
---------+------+--------<br>
=C2=A0 =C2=A028921 | ue&#39;i |=C2=A0 =C2=A0 =C2=A0 8<br>
=C2=A0 =C2=A032520 | ue&#39;i |=C2=A0 =C2=A0 =C2=A0 8<br>
(2 rows)<br>
<br>
jbovlaste=3D# update valsi set word=3D&#39;xue&#39;&#39;i&#39; where valsii=
d=3D32520;<br>
UPDATE 1<br>
jbovlaste=3D# select valsiid, word, typeid from valsi where word=3D&#39;jbo=
selbau&#39;;<br>
=C2=A0valsiid |=C2=A0 =C2=A0word=C2=A0 =C2=A0 | typeid<br>
---------+-----------+--------<br>
=C2=A0 =C2=A032454 | jboselbau |=C2=A0 =C2=A0 =C2=A0 4<br>
=C2=A0 =C2=A032513 | jboselbau |=C2=A0 =C2=A0 =C2=A0 4<br>
(2 rows)<br>
<br>
jbovlaste=3D# update valsi set word=3D&#39;jboselxau&#39; where valsiid=3D3=
2513;<br>
UPDATE 1<br>
<br>
jbovlaste=3D# select * from definitions where valsiid=3D32520;<br>
=C2=A0langid | valsiid | definitionnum | definitionid | definition=C2=A0 |=
=C2=A0 =C2=A0 notes=C2=A0 =C2=A0 =C2=A0| userid |=C2=A0 =C2=A0 time=C2=A0 =
=C2=A0 | selmaho | jargon<br>
--------+---------+-----------<wbr>----+--------------+----------<wbr>---+-=
-------------+--------+--<wbr>----------+---------+--------<br>
=C2=A0 =C2=A0 =C2=A0 1 |=C2=A0 =C2=A032520 |=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A071019 |=C2=A0 =C2=A0 =C2=A0 =C2=A0 71019 | sei ue&#39;inmo | .i {ue&#39;=
inmo} |=C2=A0 =C2=A0 523 | 1533291649 | UI1=C2=A0 =C2=A0 =C2=A0|<br>
(1 row)<br>
<br>
jbovlaste=3D# select * from definitions where valsiid=3D32513;<br>
=C2=A0langid | valsiid | definitionnum | definitionid | definition | notes =
| userid | time | selmaho | jargon<br>
--------+---------+-----------<wbr>----+--------------+----------<wbr>--+--=
-----+--------+------+---<wbr>------+--------<br>
(0 rows)<br>
<br>
jbovlaste=3D# delete from valsi where valsiid=3D32513;<br>
DELETE 1<br>
</blockquote></div><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"https://groups.google.com/group/lojban">http=
s://groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--0000000000007baf970573d7c78f--