1 files changed, 15 insertions, 0 deletions
diff --git a/service/patches/flagstore1.diff b/service/patches/flagstore1.diff
new file mode 100644
index 0000000..c307b3e
--- /dev/null
+++ b/service/patches/flagstore1.diff
@@ -0,0 +1,15 @@
+diff --git a/service/src/util.c b/service/src/util.c
+--- a/service/src/util.c
++++ b/service/src/util.c
+@@ -75,10 +75,9 @@ void
+ freadstr(FILE *f, char **dst)
+ {
+ 	size_t start, len;
+-	char c;
+ 
+ 	start = ftell(f);
+-	for (len = 0; (c = fgetc(f)) != EOF && c; len++);
++	for (len = 0; fgetc(f) > 0; len++);
+ 	fseek(f, start, SEEK_SET);
+ 
+ 	*dst = checkp(calloc(1, len + 1));