fedesar

# Por Fede Sarmiento, al 09/10/2021. Al día de la fecha me desempeño como Responsable de Informática en la plataforma de IoT aplicada a la eficiencia energética www.clickie.io.
# Estos scripts me han sido útiles al inicio de varios proyectos, por lo que esta vez quiero disponibilizarlos para toda la comunidad.
# El objetivo, además de tener las localidades de Chile en nuestra base de datos, es soportar múltiples países ya que la mayoría tiene las divisones en regiones y ciudades o comunas.
# Es por ello que no contemplaremos a las "provincias". De todas formas si se quiere agregar es posible, y en la tabla de comunas en vez del ID a la región ponemos el ID a la respectiva provincia.
# Esta información está actualizada al día de la fecha. Si queda desactualizada, por favor avisar.

# Primero, creamos la tabla de países, para que soporte la posibilidad de agregar otros a futuro como mencionamos antes.

CREATE TABLE `countries` (
  `id_country` int(10) unsigned NOT NULL AUTO_INCREMENT,

ababup1192

jsonResolver : D.Decoder a -> Http.Resolver Http.Error a
jsonResolver decoder =
    Http.stringResolver <|
        \response ->
            case response of
                Http.BadUrl_ url ->
                    Err (Http.BadUrl url)

                Http.Timeout_ ->
                    Err Http.Timeout

AFaust

// usefull in default Alfresco Docker images which don't provide jmap/jcmd CLI tools
var mbean = Packages.java.lang.management.ManagementFactory.getPlatformMXBean(Packages.com.sun.management.HotSpotDiagnosticMXBean);
mbean.dumpHeap('/usr/local/tomcat/temp/dump.hprof', true);

krohne

// The good part:
// String(javaString).valueOf()
// Follow the same pattern to convert other Java types to corresponding JavaScript primitives

var javaString = new java.lang.String("test");
print('javaString:', javaString);
print('typeof javaString:', typeof javaString);                           // Object
print('javaString instanceof String:', (javaString instanceof String));   // true (really a java.lang.String object)
print('String(javaString).valueOf() === "test":', String(javaString).valueOf() === "test");   // true: Converted to JS primitive