how do you get the file type of say a .ZIP file

[Mr tuition]

whats a good method of checking the file is a zip file, apart from checking the extension (toLower)

checking the mime type didn't work as it gave application/octect (as did word docs)

I need to make sure file type is zip, before I do anything with it there are many good java resources for zip, but cant find a good file type check



heres my mime method that didn't work: (or showed there wasn't a difference between mime types for zip files and word files)

PHP Code:

private void listAllzipfiles(String folderlocation){    
            
    File folder = new File(folderlocation);
    File[] listOfFiles = folder.listFiles();
    
    for (int i = 0; i < listOfFiles.length; i++) {
      
        
        if (listOfFiles[i].isFile()) {
        File file = new File(listOfFiles[i].getName());
        
        System.out.println("File " + listOfFiles[i].getName());
        String MimeTypeOfFile = new MimetypesFileTypeMap().getContentType(file);
        System.out.println("Type " + MimeTypeOfFile);
      } else if (listOfFiles[i].isDirectory()) {
        System.out.println("Directory " + listOfFiles[i].getName());
      }
    } 


[Mr tuition]

I just made a check extension instead (should work)

PHP Code:

    public void CheckExtension(String Extension, String thefile) {
    // eg (extension will be 'zip', file will be 'myFile.zip'
    Extension = Extension.toLowerCase();    
    thefile = thefile.toLowerCase(); 
    //if the file ends with the extension
    int extensionStart = thefile.lastIndexOf('.'+ Extension);
    int ExtensionEnd = Extension.length() + extensionStart +1; 
   if ((thefile.lastIndexOf('.'+Extension) > -1 )&& (ExtensionEnd == thefile.length())){
       FileType = true;        
        }else { FileType = false;}        
    } 


I thought there might be a simple file.getType() or something;

[undertow]

you could try to create a ZipFile object with the file, maybe it would barf if it was not a valid ZIP file.