Re: Can we change auto-logout timing on wiki.postgresql.org?

On 05/04/2013 08:08 PM, Bruce Momjian wrote:
> On Sat, May  4, 2013 at 07:44:20PM +0200, Stefan Kaltenbrunner wrote:
>> [...]
>>> I decided to look into this again and I see my preferences aren't set
>>> for me to get emails for changes on my watch list:
>>>
>>>     E-mail me when a page on my watchlist is changed
>>>
>>> I am not sure of the value of a watch list if you don't get email
>>> notifications.  If I try to enable that and save, I get a failure:
>>>
>>>     There was either an authentication database error or you are not
>>>     allowed to update your external account.
>>
>> hmm thanks for the report - that seems to be a (fairly) recently
>> introduced buglet in our custom authentication backend, it should
>> however not have resulted in any lost functionality just the above error
>> message. Should be fixed now anyway.
> 
> OK, I was now able to add email notification for watch list changes. 
> Let's see if I get any email when someone modifies something.  It might
> take a few weeks before I would know.

hmm weird - afaiks the error message should have been cosmetic only, are
you saying that it seems to have actually prevented the notifications?

> 
>>> I am not sure when that setting was changed, but I certainly didn't do
>>> it.  I bet that is why I don't get wiki change notifications.  Does
>>> anyone else get notifications?
>>
>> I do ;)
> 
> Oh, that's interesting.  Did you have those buttons checked in your
> preferences?  I did not.

yeah i had them (but I'm pretty sure I had manually checked them)


>>>> the ~20min is not a MW default, it is one from debian about cleaning up
>>>> session data (again a protection machanism, http is stateless and you
>>>> don't get a "user logged off" thingy in general so we need to remove
>>>> session data in some interval to not end up with millions of session files).
>>>> And yes as said above - we have speculated only so far on what exactly
>>>> the session timeout mechanics are and if the settings we are currently
>>>> dealing with actually control what people complain about - I'm still not
>>>> sure if you are saying it does or not?
>>>
>>> I have no idea.
>>
>> hmm not sure I get that - if you restart your browser daily how are the
>> session cookies even get preserved, or do you use one of these "restore
>> session" features?
> 
> Uh, well, I have the TODO list as one of my default startup tabs.  Most
> websites can still use old cookies on a browser restart, e.g. Gmail,
> Slashdot.


hmm pretty sure that browsers are supposed to clear session cookies if
they are restarted otherwise you will create bad security issues.
Consider logging in to a some site with personal information, close your
browser hand over your laptop to somebody in the family for a quick
browsing session and he will automatically log in to whatever site you
been at before...


Stefan