@@ -17,11 +17,11 @@
17<script type="text/javascript">
17<script type="text/javascript">
18window.addEventListener('load', function() {
18window.addEventListener('load', function() {
19 // we get the current value stored by the server when the page is loaded
19 // 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);
22 // we update the value every 1sec, in the same way
22 // we update the value every 1sec, in the same way
23 window.setInterval(function() {
23 window.setInterval(function() {
24− getcounter().then(updateCounter).catch(alert);
24+ getCounter().then(updateCounter).catch(alert);
@@ -33,7 +33,7 @@ function updateCounter(response)
33// when the button is clicked, ask the server to increase
33// when the button is clicked, ask the server to increase
34// the value by one
34// the value by one
35document.getElementById('inc').addEventListener('click', function() {
35document.getElementById('inc').addEventListener('click', function() {
36− postcounter().then(updateCounter).catch(alert);
36+ postCounter().then(updateCounter).catch(alert);