Category: Programación

0

Enhanced Syntax Highlighting Visual Studio

Hello there. I don’t know if you use it, but here’s my tip of the day When I program with Visual Studio I usually use this extension: https://marketplace.visualstudio.com/items?itemName=StanislavKuzmichArtStea1th.EnhancedSyntaxHighlighting I think you can read the...

0

First steps with TypeScript

TypeScript is a typed superset of JavaScript that compiles to plain JavaScript. The first thing we need to work with TypeScript is an editor. I recommend Visual Studio Code. You can dowload it from...

Instalando modx 1

Instalando modx

Este artículo pretende ayudaros con la instalación de Modx. Para quien no lo sepa Modx es  un sistema de administración de contenidos (CMF) y framework de código abierto, desarrollado en PHP. Su API y modelo de eventos le otorga una amplia capacidad...

Obtener un Objeto File a partir de un Objeto Message de la Java Mail Api 0

Obtener un Objeto File a partir de un Objeto Message de la Java Mail Api

try { MimeMessage mm = (MimeMessage)message; StringBuffer rawMessage = new StringBuffer(); //Obtenemos las cabeceras del Mensaje Enumeration<String> e = mm.getAllHeaderLines(); while(e.hasMoreElements()){ rawMessage.append(e.nextElement()+"\r\n"); } rawMessage.append("\r\n"); //Generamos el fichero que vamos a anexar al mail File...

Obtener las variables de entorno desde Java 0

Obtener las variables de entorno desde Java

import java.util.Map; import java.util.Set; import java.util.Iterator;   public class EnvironmentInformation{ public static void main(String[] args){ Map map = System.getenv(); Set keys = map.keySet(); Iterator iterator = keys.iterator(); System.out.println("Nombre de la variable \t Valor de...

Variables $_SERVER en PHP 0

Variables $_SERVER en PHP

GATEWAY_INTERFACE = <?php echo $_SERVER[’GATEWAY_INTERFACE’]; ?> <br> SERVER_ADDR = <?php echo $_SERVER[’SERVER_ADDR’]; ?> <br> SERVER_NAME = <?php echo $_SERVER[’SERVER_NAME’]; ?> <br> SERVER_SOFTWARE = <?php echo $_SERVER[’SERVER_SOFTWARE’]; ?> <br> SERVER_PROTOCOL = <?php echo $_SERVER[’SERVER_PROTOCOL’]; ?>...