no need to generate the header twice, we can use the one from src/server here

Authored by dfaure on Feb 12 2017, 8:03 PM.

Description

no need to generate the header twice, we can use the one from src/server here

Details

Committed
dfaureFeb 12 2017, 8:03 PM
Parents
R165:59159c6fe975: Revert unwanted changes in previous commit
Branches
Unknown
Tags
Unknown