add timeout flag to refresh

core/core.go

@@ -28,10 +28,13 @@ var Data = FullData{
 	// Maps are created in init()
 }
 
-// the header of feeds.gmi.
+// the Header of feeds.gmi.
 // set in Init, either to the contents of header.gmi or to the default string
 var Header string
 
+// Timeout for requests
+var Timeout int
+
 // have to do this instead of the automatically called init() because
 // initialization stuff requires parsing of command line args first
 func Init(dataPath string) error {
@@ -88,6 +91,8 @@ func Init(dataPath string) error {
 `
 	}
 
+	Timeout = 10
+
 	return nil
 }