Update cmd_execution.c

Leaving the part for developers, who wrote this code.