« Previous | Next » 

Revision 6366371a

ID6366371a4cac2f5bcd5c88078bd3a4ba95fa523d

Added by Axel Belinfante about 8 years ago

fix to allow use of short file names

by extending the file name supplied by the user with a short suffix
such that we always invoke java's createTempFile with a prefix argument
that is longer than 3 characters

closes #645

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences