CODING_STYLE: briefly mention that fgets() should not be used anymore

diff --git a/docs/CODING_STYLE b/docs/CODING_STYLE
index 26928d2e2d6b5bf74ed6180a6c7c9d5eb59c485a..ca6e1cb693fc86585798f1ccb5742f092c76328a 100644 (file)
--- a/docs/CODING_STYLE
+++ b/docs/CODING_STYLE
@@ -458,3 +458,7 @@
 - When referring to a file system path that is a directory, please always
   suffix it with "/", to indicate that it is a directory, not a regular file
   (or other file system object).
+
+- Don't use fgets(), it's too hard to properly handle errors such as overly
+  long lines. Use read_line() instead, which is our own function that handles
+  this much nicer.