Eseguire un ping in Kotlin su indirizzo IP
In un piccolo programmino in Kotlin, avevo bisogno di capire se una serie di indirizzi IP interni erano online o no.
Usando InetAdress è abbastanza semplice.
In un piccolo programmino in Kotlin, avevo bisogno di capire se una serie di indirizzi IP interni erano online o no.
Usando InetAdress è abbastanza semplice.
Non ho trovato nessuna funzione per contare il numero di righe di un file in Kotlin; quindi ho fatto come gli antichi:
Per leggre un file in Kotlin, abbiamo diverse modalità, tutte con pochissime righe di codice.
Vi mostro tre modi.
E' da tempo che voglio imparare un pò il linguaggio Ruby.
Oggi, dopo aver studiato un pò, ho deciso di aprire una nuova categoria dedicata al linguaggio.
Come primo argomento vederemo connetterci a un db MySQL, usando la libreria dedicata a questo db.
Volendo è disponibile anche DBI, che è più db-indipendent; ma non lo ho ancora usato.
Partendo da un esempio di tabella reale, nel senso che la uso in un programma in azienda, vediamo come, attraverso Javscript, possiamo identificare i valori delle celle della riga selezionata.
Questa è la teballa HTML (riempita tramite PHP, ma cambia poco):
<table id="tbl_and">
<thead>
<tr>
<th>AGENTE</th>
<th>RAG.SOC.</th>
<th>BUDGET</th>
<th>ORDINE</th>
<th>COLLEZIONE</th>
</tr>
</thead>
<tbody>
<?php foreach ($array as $var): ?>
<tr>
<td><?php echo $var['and_utente']; ?></td>
<td><?php echo $var['and_ragsoc']; ?></td>
<td><?php echo $var['and_budget']; ?></td>
<td><?php echo $var['and_ordine']; ?></td>
<td><?php echo $var['and_collezione']; ?></td>
</tr>
<?php endforeach; ?>
</tbody>
</table>
La funzione che andremo a vedere caricherà tutte le righe della tabella, e si occuperà di intercettare l'evento click sulla riga.
In una web app (soprattutto se creata per il mobile) può capitare di dover riempire un componente select con dati presi in formato tipo JSON o XML, magari presi tramite AJAX.
Io tra i due ho preferito JSON, vista anche la facilità di prendere questi dati tramite jQuery con la funzione getJSON.
Prima di tutto sulla pagina create una select:
<select id="my_select"></select>
Può essere totalmente vuota o con alcuni componenti preimpostati.