Re: Wiki account problem

Jon Jensen wrote:
> Hi.
> 
> I signed up for a community account, and logging in with user 
> "jon_jensen" at http://wwwmaster.postgresql.org/community/profile works 
> fine.
> 
> However, when I try to log into wiki.postgresql.org, it says user 
> "Jon_jensen" doesn't exist. Is the wiki trying to capitalize the first 
> letter of my username and thus failing?

almost - the problem is the mediawiki has a very weird idea of how 
usernames should look like.
What it is actually doing is converting the "_" to a space internally 
and handing that over to our custom auth plugin which causes 
athentication to fail...

> 
> Can you help me with this so I can edit the wiki?

well the only short term solution is using an account name that does not 
contain an underscore :(


Stefan