| | |
| | | t: 'proxy_tram.php', |
| | | // t: 'http://www.ttss.krakow.pl/internetservice', |
| | | b: 'proxy_bus.php', |
| | | // b: 'http://91.223.13.70/internetservice', |
| | | // b: 'http://ttss.mpk.krakow.pl/internetservice', |
| | | }; |
| | | var ttss_types = ['t', 'b']; |
| | | |
| | |
| | | ********/ |
| | | |
| | | function Deferred(promise, request) { |
| | | return { |
| | | promise: promise, |
| | | request: request, |
| | | abort: function() { |
| | | request.abort.bind(request); |
| | | return Deferred(promise, request); |
| | | }, |
| | | done: function(func) { |
| | | return Deferred(promise.then(func), request); |
| | | }, |
| | | fail: function(func) { |
| | | return Deferred(promise.catch(func), request); |
| | | }, |
| | | always: function(func) { |
| | | return Deferred(promise.finally(func), request); |
| | | }, |
| | | }; |
| | | this.promise = promise; |
| | | this.request = request; |
| | | } |
| | | |
| | | Deferred.prototype = { |
| | | promise: null, |
| | | request: null, |
| | | abort: function() { |
| | | this.request.abort.bind(this.request); |
| | | return new Deferred(this.promise, this.request); |
| | | }, |
| | | done: function(func) { |
| | | return new Deferred(this.promise.then(func), this.request); |
| | | }, |
| | | fail: function(func) { |
| | | return new Deferred(this.promise.catch(func), this.request); |
| | | }, |
| | | always: function(func) { |
| | | return new Deferred(this.promise.finally(func), this.request); |
| | | }, |
| | | }; |
| | | Deferred.all = function(iterable) { |
| | | return Deferred( |
| | | return new Deferred( |
| | | Promise.all( |
| | | iterable.map(x => x.promise) |
| | | iterable.map(function(x) { |
| | | return x.promise; |
| | | }) |
| | | ) |
| | | ); |
| | | }; |
| | |
| | | request.open('GET', url, true); |
| | | request.send(); |
| | | }); |
| | | return Deferred(promise, request); |
| | | return new Deferred(promise, request); |
| | | }, |
| | | }; |
| | | |
| | |
| | | } |
| | | |
| | | function parseTime(date, time) { |
| | | var result = new Date(date.getFullYear(), date.getMonth(), date.getDay()); |
| | | var result = new Date(date.getTime()); |
| | | var time_split = time.split(':'); |
| | | result.setHours(time_split[0]); |
| | | result.setMinutes(time_split[1]); |
| | | result.setHours(time_split[0], time_split[1], 0); |
| | | |
| | | if(result.getTime() - date.getTime() > 72000000) { |
| | | result.setTime(result.getTime() - 86400000); |