How can i get on $args[] a nickname with space?

Hello, recently minecraft bedrock got support for xbox live and this is not so bad, right? Now for that reason there are players with nickname with space in the middle as well.

So, there is some method of writing the nick by putting something like this on a command?:
/punish (cool _jeb) hack evidences

Like type putting in args type a barrier on chat like [] or () and identify the nick inside it, has it like this? Or is there any other method to do this?

 

Put the name between " "
/command "player name"

 

So how can i do to this in my code? To identify the player inside the " " ?

 

You can use implode, for example:

So a usage would be:

Code:

$bah = implode(" ", $args);

 

You don't need to parse the command once more. When the following command is executed:

PHP:

/punish "cool jeb" something


The arguments would be:

PHP:

args[0] = "cool jeb"
args[1] = "something"


Commit: https://github.com/pmmp/PocketMine-MP/commit/319735db3aa871a65e425ace6fc301748c6845e8