-
Notifications
You must be signed in to change notification settings - Fork 27
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add WAMP Producer #199
Add WAMP Producer #199
Conversation
something wrong into PR? |
ciao Efrem, stiamo per passare ad una nuova codebase, jrv2, che diventerà jr 0.9 (ora siamo a 0.4). Appena finito vediamo bene la questione del makefile |
OK! |
function per jr? dicci di più, magari possiamo essere utili |
Abbiamo iniziato ad utilizzare JR per sviluppo, test e benckmark delle nostre soluzioni.
Per entrambe le funzioni:
|
in NearbyGPSIntoPolygon, è accennata la seconda funzione: coordinate geografiche interne ad un poligono. |
ADD Producer for Web Application Messaging Protocol (WAMP) |
you need to add it to the |
Ubuntu 24.04.01 LTS = env XDG_DATA_DIRS is not empty
Generalized the definition of the JR_SYSTEM_DIR env variable