|
Lines 2719-2724
Link Here
|
| 2719 |
new InputSource(fragmentFile.toURI().toURL().toString()); |
2719 |
new InputSource(fragmentFile.toURI().toURL().toString()); |
| 2720 |
source.setByteStream(stream); |
2720 |
source.setByteStream(stream); |
| 2721 |
parseWebXml(source, fragment, true); |
2721 |
parseWebXml(source, fragment, true); |
|
|
2722 |
} else { |
| 2723 |
// If there is no web.xml, normal folder no impact on |
| 2724 |
// distributable |
| 2725 |
fragment.setDistributable(true); |
| 2722 |
} |
2726 |
} |
| 2723 |
} finally { |
2727 |
} finally { |
| 2724 |
fragment.setURL(file.toURI().toURL()); |
2728 |
fragment.setURL(file.toURI().toURL()); |