Posts by Minotorious

    yes after the UID update the area protection script is experiencing some problems and indeed needs you to restart the server to fix the areas.

    The second time today it was MaHbR4kin and it made one of my players admin.

    What do you mean made the player admin? did it just add them to an area as admin or did they have the admin tag next to their name in the TAB window?

    you need to create the ylm file yourself, Netbeans doesn't create it on its own (where did you read that it is created automatically?)


    in netbeans you need to open the MyDocuments/Netbeans/MyPlugin/src folder and in it create a resources directory inside that directory create the plugin.yml file

    Thing is it is really easy to use the name as a reference for a currently online player, similarly ofc you can use their current server ID or their general world database ID which are both definitely shorter than the steam UID. So these two are good solutions but I still like the name method more as it is more user friendly to type /tp Miwarre than press TAB to find your ID and then type /tp 45.


    A common practice many gaming companies use it to not allow spaces in names as it saves them a lot of trouble dealing with these space characters. Similarly in Unix based systems we do not like spaces in file/directory names as they can cause problems in Shell commands.

    The point is @Miwarre not that the plugins are storing the names ofc all plugins should store UIDs now but when using commands in game.


    Then when I want to have a command /tp PlayerName I would have to care what the playername consists of and if it has 1, 2, 3, infinite spaces in it. Noone will use a /tp UID command because it is a burden to look up a UID every time I want to tp to my friend. Similarly for more complex commands.

    It is not only about teleporting, that was just an example, for instance the areaprotection script doesn't support names with spaces and similarly the current areaprotection plugin doesn't too.


    Having spaces in names is just a super extra hassle plugin creators have to care for when creating plugins (most of them don't even consider it atm and their plugins do not work with spaces in names) and I don't think it is worth the effort for the 10 people who like a space in their name.

    I know this may be out of place, but wouldn't it also be feasible to be able to use the current player ID number from the TAB window? It may need a new plug-in,

    yes this is entirely possible and would be an easy fast solution at least for the teleporting problem :) I think one of the teleporting plugins or scripts did support this at some point but can't remember right now :/

    on our server we do not want to allow spaces in player names that is mainly because most plugins do not support spaces in player names. An important example is that there exists currently no teleport to player function that supports spaces in player names and if someone is griefing/misbehaving we cannot go to them fast to see what is going on.


    Thus would like to ask for a player.setName(String Name) method so I can manually change their names when they log in to our server to use underscores instead of spaces.


    If that is not something you would like to give as a function @red51 (as it can be abused to change player names to w/e a plugin creator would want) then could we get some method like e.g. player.trimName() that automatically changes spaces to underscores so that it is safer for everyone players and plugin creators?

    as @Miwarre said the whole code snippet of the event method would be helpful in tracking down what is going on in there.


    Simple Example from the API with a few changes:

    That is interesting since one of the features is the owner can create areas inside his assigned area.

    never worked for us so far so we ignored this as just not functioning, anyway the script will be deprecated soon so no point in fixing it for the developer tbh