Jef Driesen 8735071fac Use a more efficient download algorithm
The current algorithm always downloads a full memory dump, and extracts
the dives afterwards. For the typical scenario where only a few dives
are being downloaded, this is inefficient because most of the data isn't
needed. This can easily be avoided by downloading the data on the fly.
2017-02-27 08:20:49 +01:00
..
2014-12-21 14:52:12 +01:00
2014-12-21 14:52:12 +01:00
2016-04-26 10:59:02 +02:00
2016-04-26 10:59:02 +02:00
2012-06-21 21:39:24 +02:00
2014-03-19 09:16:07 +01:00
2014-03-19 09:16:07 +01:00
2017-02-16 21:04:59 +01:00
2017-02-01 08:32:01 +01:00
2014-03-14 09:44:10 +01:00
2013-08-22 09:15:55 +02:00
2012-06-21 21:42:37 +02:00
2017-02-16 21:04:59 +01:00
2016-12-30 22:25:14 +01:00
2014-03-19 09:16:07 +01:00
2014-03-19 09:16:07 +01:00
2017-02-16 21:04:59 +01:00