2 ms·

... actually, if(!IDEMPOTENT_COMMANDS[$cmdname]) { ... would do, and, assuming dictionary lookups are optimised, is possibly faster.

• RutZap 13y ago
  actually, if (! isset(IDEMPOTENT_COMMANDS[$cmdname])) otherwise you'll get an undefined index notice :)
  • pygy_ 13y ago
    Indeed. My PHP-fu is a bit rusty... I tested `if(NULL)...` in the REPL and since it was working, I left it at that.