Re: PilBox problem

2020-10-26 Thread Alexander Burger
Hi Olaf, > (does db stuff already work?) Yes, should all work :) We spent the last week with the stress tests $ ./pil misc/stress.l -main -go -bye ☺/ A!ex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Re: PilBox problem

2020-10-26 Thread O.Hamann
pilBox REPL: (version) -> 21.0.0 nice :-) (does db stuff already work?) I always forget how to run the picolisp testsuite ... On 24.10.20 18:06, Alexander Burger wrote: > On Fri, Oct 23, 2020 at 04:53:24PM +0200, Alexander Burger wrote: >> Seems I should release PilBox/21 asap ... > Done!

Re: PilBox problem

2020-10-24 Thread Alexander Burger
On Fri, Oct 23, 2020 at 04:53:24PM +0200, Alexander Burger wrote: > Seems I should release PilBox/21 asap ... Done! :) PilBox is now at PlayStore, with pil21 as core engine. ☺/ A!ex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Re: PilBox problem

2020-10-23 Thread Shaughan Lavine
Same phenomenon—it just stopped running after working fine since August. There was a Java exception that it couldn't find some PilBox file. I didn't note the details, just reinstalled PilBox. On my device (Samsung S5E tablet), that fixed it—PilBox now runs fine. Unfortunately, the reinstall—or

Re: PilBox problem

2020-10-23 Thread Alexander Burger
On Thu, Oct 22, 2020 at 09:09:31PM +, Shaughan Lavine wrote: > PilBox stopped running, so I reinstalled it. Fatal! I got reports from other users too that PilBox doesn't start any more. Here it works, but when I tried my wife's phone, it refused to start. This is strange, because it worked

Re: PilBox problem

2020-10-22 Thread Alexander Burger
Hi Shaughan, > PilBox stopped running, so I reinstalled it. It works, but my apps are gone. > Shouldn't a reinstall leave user files alone? An update leaves all as it is. But if the app is de-installed, the local data (and thus also PilApps) are gone too. Android removes everything, including

PilBox problem

2020-10-22 Thread Shaughan Lavine
PilBox stopped running, so I reinstalled it. It works, but my apps are gone. Shouldn't a reinstall leave user files alone? Thanks! Shaughan Sent from ProtonMail mobile