The MIDI keyboards I know will always output the pedal as part of the overall MIDI out. The pedal is connected to the keyboard via jack cables - or do you have a pedal that has its own MIDI output?
I believe you're correct. The 1/4" pedal goes into the device, but anything emitted from there on should be an aggregation of any MIDI going out (provided they're on the same channel).