equal
deleted
inserted
replaced
1769 if (!open_for_read()) { |
1769 if (!open_for_read()) { |
1770 return false; |
1770 return false; |
1771 } |
1771 } |
1772 |
1772 |
1773 init_from_file(_fd, is_static); |
1773 init_from_file(_fd, is_static); |
1774 if (!validate_header(is_static)) { |
1774 // UseSharedSpaces could be disabled if the checking of some of the header fields in |
|
1775 // init_from_file has failed. |
|
1776 if (!UseSharedSpaces || !validate_header(is_static)) { |
1775 return false; |
1777 return false; |
1776 } |
1778 } |
1777 return true; |
1779 return true; |
1778 } |
1780 } |
1779 |
1781 |