From f5646265564aebeca5ac05b962eb140050eb09c4 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Thu, 16 Jan 2014 19:51:03 +0900
Subject: [PATCH] pic_fflush and pic_ffill should change cursor positions

---
 src/port.c | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/port.c b/src/port.c
index d9e1cc19..df05ea98 100644
--- a/src/port.c
+++ b/src/port.c
@@ -69,13 +69,21 @@ pic_setvbuf(pic_file *file, char *buf, int mode, size_t bufsiz)
 int
 pic_fflush(pic_file *file)
 {
-  return file->vtable.write(file->vtable.cookie, file->s, file->c - file->s);
+  int r;
+
+  r = file->vtable.write(file->vtable.cookie, file->s, file->c - file->s);
+  file->c -= r;
+  return r;
 }
 
 int
 pic_ffill(pic_file *file)
 {
-  return file->vtable.read(file->vtable.cookie, file->c, file->e - file->c);
+  int r;
+
+  r = file->vtable.read(file->vtable.cookie, file->c, file->e - file->c);
+  file->c += r;
+  return r;
 }
 
 pic_file *