Kristian Fiskerstrand avatar Kristian Fiskerstrand committed e26c6d9

YM comments

Comments (0)

Files changed (1)

 
 diff -r f187022f7583 mRindex.ml
 --- a/mRindex.ml	Sat Oct 27 13:55:03 2012 -0500
-+++ b/mRindex.ml	Sat Oct 27 22:54:17 2012 +0200
++++ b/mRindex.ml	Sat Oct 27 22:58:37 2012 +0200
 @@ -94,12 +94,15 @@
    sprintf "uid:%s:%s:%s:"
      uid_string (time_to_string ctime) (time_to_string exptime)
    let key_line = sprintf "pub:%s:%d:%d:%Ld:%s:%s"
 diff -r f187022f7583 parsePGP.ml
 --- a/parsePGP.ml	Sat Oct 27 13:55:03 2012 -0500
-+++ b/parsePGP.ml	Sat Oct 27 22:54:17 2012 +0200
-@@ -335,9 +335,8 @@
++++ b/parsePGP.ml	Sat Oct 27 22:58:37 2012 +0200
+@@ -334,10 +334,9 @@
+                   (ctime,exptime)
               )
        in
-       match (ctime,exptime_delta) with
+-      match (ctime,exptime_delta) with
 -        | (Some x,None) -> (Some x,None)
 -        | (None,_) -> (None,None)
 -        | (Some x,Some y) -> (Some x,Some y)
++      match exptime_delta with
 +        | None -> (None,None)
 +        | Some _ -> (ctime,exptime_delta)
  
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.