efun: short_format_vseconds

FUNKTION:

short_format_vseconds

DEKLARATION:

string short_format_vseconds(int seconds)

BESCHREIBUNG:

Liefert fuer seconds einen String der Form:
'xd xh xm xs'
wobei die Ausgabe in Spielzeit ist.

GRUPPEN:

VERWEISE:

SOURCE: