Community
Participate
Working Groups
Build Identifier: We use JGit in online IDE. It is important for us to know the type of file. Type of file is determined from file extension when file is created (but not moved or copied). We track the creation of each file and keep some metadata e.g. media type of file. Temporary file created without extension (method DirCacheCheckout#checkoutEntry) so the media type cannot be determined. When this file replace original file the media type of original file is lost. It will be very helpful to keep extension of original file for temporary file. I guess it is very easy to do, see the attached patch. Reproducible: Always
Created attachment 209610 [details] The patch for requested improvement.
the temporary file is existing for a very short period of time only