1 (* 'top'-like tool for libvirt domains.
2 (C) Copyright 2007-2009 Richard W.M. Jones, Red Hat Inc.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
19 This file contains all code which requires ocaml-calendar >= 2.0
27 open Opt_gettext.Gettext ;;
29 Top.parse_date_time :=
31 let cal : Calendar.t =
32 if String.starts_with time "+" then ( (* +something *)
33 let period = String.sub time 1 (String.length time - 1) in
35 if String.contains period ':' then ( (* +HH:MM:SS *)
36 let t = Printer.TimePrinter.from_string period in
37 let hh = Time.hour t and mm = Time.minute t and ss = Time.second t in
38 Calendar.Period.make 0 0 0 hh mm ss
40 Calendar.Period.second (int_of_string period) in
41 (* Add it as an offset from the current time.
43 * Note that the default for the Calendar library is to return
44 * Calendar.now in the UTC time zone, which is in fact what we
47 Calendar.add (Calendar.now ()) period
50 if String.contains time '-' then (* YYYY-MM-DD HH:MM:SS *)
51 Printer.CalendarPrinter.from_string time
53 let time = Printer.TimePrinter.from_string time in
54 Calendar.create (Date.today ()) time
56 (* Assume the user has entered a local time. Convert it to
57 * UTC time zone which is what we need below. (RHBZ#680344)
59 Calendar.convert cal Time_Zone.Local Time_Zone.UTC
62 eprintf "end time (UTC): %s\n" (Printer.CalendarPrinter.to_string cal);
64 (* Convert to a time_t. Note that we compare this against
65 * Unix.gettimeofday in the main module, so this must be returned as
66 * plain seconds from 1970 with no timezone adjustment. (RHBZ#637964)
68 Calendar.to_unixfloat cal