]> matita.cs.unibo.it Git - logicplayer.git/commitdiff
Printing of dates improved.
authorwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 16 Dec 2014 16:28:43 +0000 (17:28 +0100)
committerwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 16 Dec 2014 16:28:43 +0000 (17:28 +0100)
public_html/prova.js

index 067eb7227f826d43b3f7949542a4206ce6fb45c8..41d3fa775e7330e6248efa936b26bd85031c95a4 100755 (executable)
@@ -31,7 +31,9 @@ function update(event)
                                                var id_i=id+j;
                                                var tmpel='<input class="elimina" type="submit" risultato='+item.risultati[j].id+' value="elimina">';
                                                var date= new Date(item.risultati[j].time*1000/1000);
-                                               var data_ora=date.getDate()+"/"+date.getMonth()+"/"+date.getFullYear()+"\t"+date.getHours()+":"+date.getMinutes();
+                                               var options = new Object();
+                                               options.hour12=false;
+                                               var data_ora=date.toLocaleString('en-us',options);
                                                $("#tabella").append($('<tr>').attr('id',id_i));
                                                id_i="#"+id_i;
                                                $(id_i).append($('<td>').text(item.esercizio));
@@ -80,7 +82,9 @@ function updateUsr(event)
                                                var id_i=id+j;
                                                var tmpel='<input class="elimina" type="submit" risultato='+item.risultati[j].id+' value="elimina">';
                                                var date= new Date(item.risultati[j].time*1000/1000);
-                                               var data_ora=date.getDate()+"/"+date.getMonth()+"/"+date.getFullYear()+"\t"+date.getHours()+":"+date.getMinutes();
+                                               var options = new Object();
+                                               options.hour12=false;
+                                               var data_ora=date.toLocaleString('en-us',options);
                                                $("#tab").append($('<tr>').attr('id',id_i));
                                                id_i="#"+id_i;
                                                $(id_i).append($('<td>').text(item.risultati[j].utente));