I think I used the keyboard interrupt while the sync has already been finished. Maybe a keyboard-interrupt exit causes some cleanup/flushing to be skipped?
On Monday, October 15, 2018 at 10:25:52 AM UTC+2, Peter Bienstman wrote: > > Hi, > > That's the correct way, but obviously if you kill the server in the middle > of an ongoing sync, it will require a full sync the next time. > > Killing headless servers when there's no sync in progress should be > harmless, I do this all the time. > > Cheers, > > Peter > > -----Original Message----- > From: [email protected] <javascript:> < > [email protected] <javascript:>> On Behalf Of Marcin > Mielniczuk > Sent: 14 October 2018 13:47 > To: [email protected] <javascript:> > Subject: [mnemosyne-proj-users] How to cleanly exit a headless instance of > Mnemosyne? > > I once tried running mnemosyne as `mnemosyne --sync-server` on a headless > server. When I was done, I just killed it by ctrl+c, which corrupted the > database (or did something else that prevented subsequent > syncs) > > What's the correct way of exiting a headless instance of Mnemosyne? > > -- > You received this message because you are subscribed to the Google Groups > "mnemosyne-proj-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] <javascript:>. > To post to this group, send email to [email protected] > <javascript:>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/mnemosyne-proj-users/1b474f32-8282-5468-02eb-6e4126645152%40gmail.com. > > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "mnemosyne-proj-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/mnemosyne-proj-users/1344f624-08a7-4912-a438-0b976832955c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
