If he has drivers installed for the sound card, check in the settings.
For example I have Realtek HD Audio Manager where the setting is in Audio IO tab. There's a button for connector settings where there's a setting "Mute rear panel output when front headphone is plugged in."
He could also try to connect the headphones to a read output. In that case speakers shouldn't be muted when using headphones.
If he however connects them to an output on speakers, this won't work since speakers will probably automatically switch off when headphones are attached.