equal
deleted
inserted
replaced
34 |
34 |
35 <body> |
35 <body> |
36 <!-- Scripts principaux. --> |
36 <!-- Scripts principaux. --> |
37 <script type="text/javascript"> |
37 <script type="text/javascript"> |
38 var pts; |
38 var pts; |
|
39 |
|
40 var config = |
|
41 { |
|
42 timeFilling: 1000, |
|
43 host: '127.0.0.1', |
|
44 port: 8090 |
|
45 }; |
|
46 |
39 //Si la page a chargé, on charge les pointeurs. |
47 //Si la page a chargé, on charge les pointeurs. |
40 $(document).ready(function () |
48 $(document).ready(function () |
41 { |
49 { |
42 pts = new pointers(); |
50 pts = new Pointers(config); |
43 }); |
51 }); |
44 </script> |
52 </script> |
45 </body> |
53 </body> |
46 </html> |
54 </html> |