No, just hit enter. The commandline is ignored anyway, I think.

The ;@EXEC lines go in the player's config.ini file.

Cheers