Nibodhika 9a3f273172 Last line gets read twice ...

because savegame.get_line() will consume the line, but eof_reached will only be reached when trying to read the next line the code inside the while gets called twice for the last line.

Which wouldn't be a problem, except currentline.parse_json(null) does not alter currentline.

I think an even better way would be

```
while (!savegame.eof_reached()):
    var line = savegame.get_line()
    if not line:
        continue

     currentline.parse_json(line)
     # Remaining code here
```

2017-07-30 12:05:47 -03:00

..

background_loading.rst

Update background_loading.rst

2017-07-16 12:36:05 -07:00

binary_serialization_api.rst

Revamping of the docs organisation for a more coherent TOC

2017-04-23 13:44:52 +02:00

data_paths.rst

Revamping of the docs organisation for a more coherent TOC

2017-04-23 13:44:52 +02:00

encrypting_save_games.rst

Revamping of the docs organisation for a more coherent TOC

2017-04-23 13:44:52 +02:00

handling_quit_requests.rst

Revamping of the docs organisation for a more coherent TOC

2017-04-23 13:44:52 +02:00

index.rst

Add toctrees for new repo organization

2017-04-23 13:45:06 +02:00

internationalizing_games.rst

Revamping of the docs organisation for a more coherent TOC

2017-04-23 13:44:52 +02:00

locales.rst

Revamping of the docs organisation for a more coherent TOC

2017-04-23 13:44:52 +02:00

pausing_games.rst

Revamping of the docs organisation for a more coherent TOC

2017-04-23 13:44:52 +02:00

saving_games.rst

Last line gets read twice

2017-07-30 12:05:47 -03:00