[server] remove cnxset tracking, it is now unneeded
Indeed, all cnxsets will now be acquired using the following API::
with session.new_cnx() as cnx:
cnx.execute(...)
# do stuff
cnx.commit()
These well-scoped blocks are the only place a cnxset can be acquired.
The old use-case for un-delimited cnxsets (pyro/zmqpickle protocols)
have been removed.
The "mode" of connection objects becomes "write" forever (it will be
removed in a couple of changesets).
Related to #2919309.
/*
translations for fullCalendar plugin
*/
$.fullCalendar.regional = function(lng, options){
var defaults = {'fr' : {
monthNames:
['Janvier','Février','Mars','Avril','Mai','Juin','Juillet','Août','Septembre','Octobre','Novembre','Décembre'],
monthNamesShort: ['janv.','févr.','mars','avr.','mai','juin','juil.','août','sept.','oct.','nov.','déc.'],
dayNames: ['Dimanche','Lundi','Mardi','Mercredi','Jeudi','Vendredi','Samedi'],
dayNamesShort: ['Dim', 'Lun', 'Mar', 'Mer', 'Jeu', 'Ven', 'Sam'],
titleFormat: {
month: 'MMMM yyyy', // ex : Janvier 2010
week: "d[ MMMM][ yyyy]{ - d MMMM yyyy}", // ex : 10 � 16 Janvier 2010,
day: 'dddd d MMMM yyyy' // ex : Jeudi 14 Janvier 2010
},
columnFormat: {'month': 'dddd',
'agendaWeek': 'dddd dd/M/yyyy',
'agendaDay': 'dddd dd/M/yyyy'},
axisFormat: 'H:mm',
timeFormat: {
'': 'H:mm',
agenda: 'H:mm{ - H:mm}'},
allDayText: 'journée',
axisFormat: 'H:mm',
buttonText: {
today: "aujourd'hui",
month: 'mois',
week: 'semaine',
day: 'jour'
}
}};
if(lng in defaults){
return $.extend({}, defaults[lng], options);
}
else {return options;};
};
;