jarodium

'use strict';

var cacheVersion = 1;
var currentCache = {
  offline: 'offline-cache' + cacheVersion
};
const offlineUrl = 'offline.html';

this.addEventListener('install', event => {
  event.waitUntil(

jarodium

<?php
    require '../vendor/autoload.php';
    use Jcupitt\Vips;
    Vips\Config::concurrencySet(2);
    Vips\Config::CacheSetMax(0);

    //header("Content-type: text/plain");
    //var_dump($_REQUEST);
    
    $mime = "jpeg";

jarodium

var path = require('path');
var url = require('url');
var http = require('http');
var fs = require('fs');
var write_file;
//what global variable do we have?
var complete = false;
var content_length = 0;
var downloaded_bytes = 0;

jarodium

// Sticky Nav Component
var Sticky = (function() {
  'use strict';

  var CSS_CLASS_ACTIVE = 'is-fixed';

  var Sticky = {
    element: null,
    position: 0,
    addEvents: function() {

jarodium

/*
 * Lets you use your browser's back/forward buttons for in-page navigation by
 * adding custom 'next' and 'previous' events to the window object.
 *
 * Copyright (c) 2011 Tobias Schneider <[email protected]>
 * This script is freely distributable under the terms of the MIT license.
 *
 * Example:
 *
 *	window.addEventListener('next', function(){

jarodium

function removeHash () { 
    var scrollV, scrollH, loc = window.location;
    if ("pushState" in history)
        history.replaceState("", document.title, loc.pathname + loc.search);
    else {
            // Prevent scrolling by storing the page's current scroll offset
        scrollV = document.body.scrollTop;
        scrollH = document.body.scrollLeft;
        loc.hash = "";
            // Restore the scroll offset, should be flicker free

jarodium

// simply return a valid GeoJSON and it will be rendered on the map

const a = turf.point(
  [ -7.934943903756626, 37.01653427320952 ] ,
  {'marker-symbol': 'rocket', 'marker-color': '#F00', 'marker-size': 'large'}
);

const b = turf.point(
 [ -7.934943723892553, 37.01653427320952 ] ,
  {'marker-symbol': 'rocket', 'marker-color': '#F0F', 'marker-size': 'large'}

jarodium

// simply return a valid GeoJSON and it will be rendered on the map

const a = turf.point(
  [ -7.935754126611641, 37.015448047817706 ] ,
  {'marker-symbol': 'rocket', 'marker-color': '#F00', 'marker-size': 'large'}
);

const b = turf.point(
 [ -7.935753143724182, 37.01589770731469 ] ,
  {'marker-symbol': 'rocket', 'marker-color': '#F0F', 'marker-size': 'large'}

jarodium

// simply return a valid GeoJSON and it will be rendered on the map

const a = turf.point(
[ -7.935581406636273, 37.01906884977351 ] ,
  {'marker-symbol': 'rocket', 'marker-color': '#F00', 'marker-size': 'large'}
);

const b = turf.point(
[ -7.935580423701978, 37.0195185092705 ] ,
  {'marker-symbol': 'rocket', 'marker-color': '#F0F', 'marker-size': 'large'}

jarodium

// simply return a valid GeoJSON and it will be rendered on the map

const polyRecursos = turf.polygon([[
   [-7.9433882,37.0254615],[-7.9435303,37.0252195],[-7.9434177,37.0251639],[-7.9432889,37.0251296],[-7.9430636,37.0251125],[-7.9431414,37.0253202],[-7.9433882,37.0254615]
  ]],
  {stroke: '#0FF', fill: '#0FF', 'fill-opacity': 0.3, 'stroke-width': 6}
);
const poly = turf.polygon([[
                [-7.9434775157632815,37.024837920790766],
                [-7.943964787435284,37.02506342920393],