[GitHub] tomcat pull request #109: fix: file resource read dir inputStream

2018-05-08 Thread markt-asf
Github user markt-asf closed the pull request at: https://github.com/apache/tomcat/pull/109 --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org

[GitHub] tomcat pull request #109: fix: file resource read dir inputStream

2018-05-07 Thread FSchumacher
Github user FSchumacher commented on a diff in the pull request: https://github.com/apache/tomcat/pull/109#discussion_r186523700 --- Diff: java/org/apache/catalina/webresources/FileResource.java --- @@ -30,10 +29,6 @@ import java.security.cert.Certificate; import java.util

[GitHub] tomcat pull request #109: fix: file resource read dir inputStream

2018-05-07 Thread FSchumacher
Github user FSchumacher commented on a diff in the pull request: https://github.com/apache/tomcat/pull/109#discussion_r186523342 --- Diff: java/org/apache/catalina/webresources/FileResource.java --- @@ -16,12 +16,11 @@ */ package org.apache.catalina.webresources;

[GitHub] tomcat pull request #109: fix: file resource read dir inputStream

2018-05-07 Thread GodIsDevil
GitHub user GodIsDevil opened a pull request: https://github.com/apache/tomcat/pull/109 fix: file resource read dir inputStream FileResource can't read the inputStream of directory.FileInputStream is appropriate to read a file but not a directory. You can merge this pull request i