Projet

Général

Profil

Révision 97fdf4b3

ID97fdf4b33bba4e945db66d73ad4d164020d6aa38
Parent e5ceabe4
Enfant 4bb73b59

Ajouté par Steve Schnepp il y a presque 13 ans

profiling: adding a dump_node

Voir les différences:

tools/profiling/dump_node.sh
1
#! /bin/sh
2

  
3
NODE=${1:-localhost}
4
PORT=${2:-4949}
5

  
6
{
7
	for plugin in $(echo "list" | nc $NODE $PORT | tail -n 1)
8
	do
9
		echo "config $plugin"
10
		echo "fetch $plugin"
11
	done 
12
	echo "quit"
13
} | nc $NODE $PORT

Formats disponibles : Unified diff