PushCommand takes now a new parameter: b_unique. If set, do not push
this command twice in the command queue.