Enrico Forestieri 7296e0e6ba Avoid crash with gzipped file
In computing the length of the extension, the code does not account
for the prefix "unzipped_", which is added when the zipped filename
does not have one of the extensions "gz", "z", "Z", or "svgz", and
thus the used index is out of bounds. See also this thread:
https://www.mail-archive.com/lyx-devel@lists.lyx.org/msg207360.html
2019-01-05 19:17:37 +01:00
..
2018-04-16 14:02:20 -04:00
2018-02-22 15:40:05 -05:00
2018-05-11 15:11:06 +02:00
2018-03-22 23:37:19 +01:00
2018-10-04 17:56:14 -04:00
2017-07-03 13:46:30 -04:00
2018-02-22 00:49:35 -05:00
2018-10-04 17:56:14 -04:00
2018-10-04 17:56:14 -04:00
2018-12-02 18:27:38 +01:00
2018-06-24 20:06:40 +02:00
2017-12-14 13:04:52 +01:00
2017-07-03 13:46:30 -04:00
2018-05-04 11:56:42 +02:00
2018-11-09 11:47:51 +01:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2016-12-06 16:15:47 +01:00
2018-12-31 18:30:20 +01:00
2017-03-03 13:00:32 +01:00
2017-07-03 13:46:30 -04:00
2018-02-23 23:29:52 -05:00
2018-02-23 23:29:52 -05:00