Re: [PATCH v2 0/1] MR3403: server: Check for SO_DEFAULT_HEADERS before using it.

[Fotios Valasiadis (＠fvalasiad)]

Since !3428 has been merged, providing an alternative fix, I am closing this pull request.

Pleasure working with ya!