@@ -17,11 +17,11 @@
1717<script type="text/javascript">
1818window.addEventListener('load', function() {
1919 // we get the current value stored by the server when the page is loaded
20− getcounter().then(updateCounter).catch(alert);
20+ getCounter().then(updateCounter).catch(alert);
2121
2222 // we update the value every 1sec, in the same way
2323 window.setInterval(function() {
24− getcounter().then(updateCounter).catch(alert);
24+ getCounter().then(updateCounter).catch(alert);
2525 }, 1000);
2626});
2727
@@ -33,7 +33,7 @@ function updateCounter(response)
3333// when the button is clicked, ask the server to increase
3434// the value by one
3535document.getElementById('inc').addEventListener('click', function() {
36− postcounter().then(updateCounter).catch(alert);
36+ postCounter().then(updateCounter).catch(alert);
3737});
3838</script>
3939</body>