From ee3d43497dac48744ed5a78e5dd5c8690242e00b Mon Sep 17 00:00:00 2001
From: rsiddharth <s@ricketyspace.net>
Date: Fri, 17 May 2019 21:35:22 -0400
Subject: bin/feed: Add err.

---
 bin/feed | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'bin/feed')

diff --git a/bin/feed b/bin/feed
index e0757cb..9f4f879 100644
--- a/bin/feed
+++ b/bin/feed
@@ -11,6 +11,7 @@ import os
 import os.path
 import re
 import subprocess as subp
+import sys
 
 
 URL = 'https://fsfi.web'
@@ -32,6 +33,11 @@ E_PH = {
 }
 
 
+def err(s):
+    print('Error: {}'.format(s))
+    sys.exit(1)
+
+
 def files(sec):
     return os.scandir('md' + '/' + sec)
 
-- 
cgit v1.2.3