1

/* http://fgnass.github.com/spin.js/ */

     2

$.fn.spin = function(opts) {

     3

  this.each(function() {

     4

    var $this = $(this),

     5

        data = $this.data();

     6

     7

    if (data.spinner) {

     8

      data.spinner.stop();

     9

      delete data.spinner;

    10

    }

    11

    if (opts !== false) {

    12

      data.spinner = new Spinner($.extend({color: $this.css('color')}, opts)).spin(this);

    13

    }

    14

  });

    15

  return this;

    16

};

    17

    18

$.fn.disabled = function (disabled) {

    19

    if (disabled)

    20

        this.attr('disabled', 'disabled');

    21

    else

    22

        this.removeAttr('disabled');

    23

    24

    return this;

    25

};

    26

    27

var Timer = function (interval, cb) {

    28

    var handle = null;

    29

    30

    this.enable = function () {

    31

        if (handle) return;

    32

    33

        handle = window.setInterval(cb, interval);

    34

    };

    35

    36

    this.disable = function () {

    37

        if (!handle) return;

    38

    39

        window.clearInterval(handle);

    40

        handle = null;

    41

    };

    42

    43

    return this;

    44

};

    45

    46

/*

    47

 * Initialize the realtime host table.

    48

 *

    49

 *  table       - Table to manipulate

    50

 *  url         - base URL for ?t=...

    51

 *  filters     - { attr: value } for ?t=...

    52

 *  t           - ?t=... to poll for

    53

 *

    54

 *  $(document).ready(HostsRealtime(Table(...), ...));

    55

 *

    56

 */

    57

function HostsRealtime (table, params) {

    58

    var t = params.t;

    59

    var refreshTimer = Timer(2 * 1000, refresh);

    60

    61

    // XXX: refresh > interval?

    62

    function refresh () {

    63

        console.log("refresh: " + t);

    64

    65

        var refresh = $('#refresh').disabled(true);

    66

        var spinner = $('#wrapper').spin();

    67

    68

        var url = params.url;

    69

        var query = $.param($.extend(params.filters, {t: t }), true);   // using traditional encoding for multi-values

    70

    71

        $.getJSON(url, query, function (data) {

    72

            var t1 = data.t;

    73

            var hosts = data.hosts;

    74

    75

            console.log("refresh: " + t + " -> " + t1 + ": " + hosts.length);

    76

    77

            $.each(hosts, function (i, host) {

    78

                table.update(host);

    79

            });

    80

    81

            // update

    82

            t = t1;

    83

    84

        }).error(function () {

    85

            alert("Error :("); 

    86

    87

            // disable auto-refresh

    88

            refreshTimer.disable();

    89

    90

        }).complete(function () {

    91

            spinner.spin(false);

    92

            refresh.disabled(false);

    93

        });

    94

    }

    95

    96

    return function () {

    97

        // init

    98

        $("#refresh").click(function () {

    99

            // in case diabled on error

   100

            refreshTimer.enable();

   101

            refresh();

   102

            $("#pause").disabled(false);

   103

        });

   104

   105

        $("#pause").click(function () {

   106

            console.log("pause");

   107

            refreshTimer.disable();

   108

            $("#pause").disabled(true);

   109

        });

   110

   111

        // start auto-refresh

   112

        refreshTimer.enable();

   113

    }

   114

}