Fix a double decrement case in batchrq_send().
Fix a double decrement case in batchrq_send().

pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable