core: update line info after a line request
authorBartosz Golaszewski <bartekgola@gmail.com>
Mon, 2 Jan 2017 15:23:24 +0000 (16:23 +0100)
committerBartosz Golaszewski <bartekgola@gmail.com>
Mon, 2 Jan 2017 15:23:24 +0000 (16:23 +0100)
commit1d92c4112cfbaf322fac3d7e781b715b8efec4bb
tree4ec9e1e36b6c72d1a417fe610bd44945a841aa26
parentdb64f467fb7a984d2ff9c17a3bcfb4ac8cd63600
core: update line info after a line request

Currently the line information isn't updated after it's been
requested. Re-read the line info after requesting it.

Signed-off-by: Bartosz Golaszewski <bartekgola@gmail.com>
core.c