Page 1 of 1

Changing names?

Posted: Sat Apr 15, 2023 6:04 am
by ColonelFritz28
Is there a way to change one’s username? If there is I can’t find it.

Re: Changing names?

Posted: Sat Apr 15, 2023 7:34 am
by theguyNav
No, for some reason you aren't allowed to. My name is actually a typo.

Re: Changing names?

Posted: Sat Apr 15, 2023 2:27 pm
by ColonelFritz28
Huh. Well, it is as I thought. Thanks!

Re: Changing names?

Posted: Sun Apr 16, 2023 10:12 pm
by DarthPorg36
It would be a nice feature to add. I wouldn't mind being able to chop the numbers off my username now that I realize there aren't a million people on this site, like I thought when I joined.

Re: Changing names?

Posted: Mon Apr 17, 2023 1:13 am
by flash2015
This is probably a hard feature to add as I suspect the primary key for your user is your id rather than a surrogate key.

Re: Changing names?

Posted: Mon Apr 17, 2023 11:13 am
by learnedSloth
flash2015 wrote:
Mon Apr 17, 2023 1:13 am
This is probably a hard feature to add as I suspect the primary key for your user is your id rather than a surrogate key.
Quotes do have a user_id field. Yours is 80. I was going to point out that using the name as primary key would either limit their length or make comparisons linear time.

Re: Changing names?

Posted: Mon Apr 17, 2023 9:13 pm
by JECE
learnedSloth wrote:
Mon Apr 17, 2023 11:13 am
flash2015 wrote:
Mon Apr 17, 2023 1:13 am
This is probably a hard feature to add as I suspect the primary key for your user is your id rather than a surrogate key.
Quotes do have a user_id field. Yours is 80. I was going to point out that using the name as primary key would either limit their length or make comparisons linear time.
FYI, your webDip Forum user ID is not the same as your webDip user ID.

https://webdiplomacy.net/userprofile.php?userID=141016
vs.
memberlist.php?mode=viewprofile&u=23147

Re: Changing names?

Posted: Wed Apr 19, 2023 5:36 pm
by learnedSloth
JECE wrote:
Mon Apr 17, 2023 9:13 pm
learnedSloth wrote:
Mon Apr 17, 2023 11:13 am
Quotes do have a user_id field. Yours is 80. I was going to point out that using the name as primary key would either limit their length or make comparisons linear time.
FYI, your webDip Forum user ID is not the same as your webDip user ID.

https://webdiplomacy.net/userprofile.php?userID=141016
vs.
memberlist.php?mode=viewprofile&u=23147
:shock: I can't think of any reason to separate those IDs.
They could be linked with a table, but after this revelation I wouldn't be so surprised if those profiles are linked by name.

Re: Changing names?

Posted: Wed Apr 19, 2023 7:36 pm
by JECE
The Forum is disguised very well, but it is basically a different website from the rest of webDiplomacy. The Old Forum, on the other hand, is fully integrated with the rest of webDiplomacy:
https://webdiplomacy.net/forum.php

Re: Changing names?

Posted: Thu Apr 20, 2023 1:06 am
by kestasjk
YOu can change your username but only via a request in the mod forum where it tracks how many usernames you've changed etc. You can imagine if people could just hop around their username freely it would be quite confusing and there'd be potential for abuse e.g. mimicking others, changing after stabbing, who knows.

Yep the forum is phpBB skinned to look like webDip. The old forum is very quant and was made to be very efficient, but it would be silly for a webDip dev to write a whole forum with avatars, formatting, etc, etc just for webDip when there are open source forums already out there, that time is better spent improving the Diplomacy aspects of the site, but yes it does create a few awkward integration issues.