gistfile1.txt

    $.ajax({ "url": agenda_url,
             "type": "POST",
             "data": { "public" : new_value },
             "dataType": "json",
             "success": function(result) {
                 /* result is a json object */
                 value = result["public"];
                 log("new value "+value);
                 $(span_to_replace).html(value);
             }});

var pinned_update = $.ajax(this.href, {
    "content-type": "text/json",
    "type": "PUT",
    "data": pinned_struct,
});