equal
deleted
inserted
replaced
100 } |
100 } |
101 } |
101 } |
102 |
102 |
103 @Override |
103 @Override |
104 FileTypeDetector getFileTypeDetector() { |
104 FileTypeDetector getFileTypeDetector() { |
105 String userHome = GetPropertyAction.getProperty("user.home"); |
105 String userHome = GetPropertyAction.privilegedGetProperty("user.home"); |
106 Path userMimeTypes = Paths.get(userHome, ".mime.types"); |
106 Path userMimeTypes = Paths.get(userHome, ".mime.types"); |
107 Path etcMimeTypes = Paths.get("/etc/mime.types"); |
107 Path etcMimeTypes = Paths.get("/etc/mime.types"); |
108 |
108 |
109 return chain(new GioFileTypeDetector(), |
109 return chain(new GioFileTypeDetector(), |
110 new MimeTypesFileTypeDetector(userMimeTypes), |
110 new MimeTypesFileTypeDetector(userMimeTypes), |