Skip to content

Instantly share code, notes, and snippets.

View slinkydeveloper's full-sized avatar

Francesco Guardiani slinkydeveloper

View GitHub Profile
@slinkydeveloper
slinkydeveloper / 0-namespace.yaml
Last active March 17, 2021 07:47
Reproduce eventing-kafka upgrade to 0.22
apiVersion: v1
kind: Namespace
metadata:
name: sacura
@slinkydeveloper
slinkydeveloper / ConcreteVerticle.kt
Last active March 30, 2019 11:24
Example solution for SO question 55408452
import io.vertx.core.Handler
import io.vertx.core.http.HttpMethod
import io.vertx.ext.web.Router
import io.vertx.ext.web.RoutingContext
import io.vertx.ext.web.handler.*
import io.vertx.ext.web.sstore.LocalSessionStore
import io.vertx.core.Vertx
import io.vertx.kotlin.core.deployVerticleAwait
import io.vertx.kotlin.core.http.listenAwait
import io.vertx.kotlin.core.json.json
@slinkydeveloper
slinkydeveloper / MainVerticle.java
Last active September 28, 2018 19:20
Vertx web Route concurrency bug reproducer
import io.vertx.core.AbstractVerticle;
import io.vertx.core.Future;
import io.vertx.core.Vertx;
import io.vertx.ext.web.Router;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
public class MainVerticle extends AbstractVerticle {
public final static Logger log = LoggerFactory.getLogger(MainVerticle.class);
@slinkydeveloper
slinkydeveloper / create_prod_main.sh
Created July 17, 2018 22:10
Bash script to concatenate multiple header/impl c files and main.c into one single main file
#!/bin/bash
# Script to create prod version of project (concat all deps in one single file)
cd "$(dirname "$0")"
rm -f main_prod.c
tempfile=$(mktemp)
tempmain=$(mktemp)
cat main.c > "$tempmain"
@slinkydeveloper
slinkydeveloper / README.md
Last active February 4, 2018 15:43
My GSoC 2017 - Francesco Guardiani - Eclipse Vert.x - Router Factory for Design Driven Web API Development
@slinkydeveloper
slinkydeveloper / MainVerticle.java
Last active February 25, 2020 15:48
vertx-OpenAPI3-example
import io.vertx.core.AbstractVerticle;
import io.vertx.core.Vertx;
import io.vertx.core.http.HttpServer;
import io.vertx.core.http.HttpMethod;
import io.vertx.core.http.HttpServerOptions;
import io.vertx.core.json.JsonObject;
import io.vertx.core.logging.Logger;
import io.vertx.core.logging.LoggerFactory;
import io.vertx.ext.web.RequestParameters;
import io.vertx.ext.web.RequestParameter;