Re: Are body identifiers case sensitive?

From: Paola Sala <paola.sala_at_mi.infn.it>
Date: Tue, 7 Apr 2009 10:07:14 +0200 (CEST)

Dear Vadim,
yes, names are case-sensitive.
Paola
> Dear all,
>
> Subject appeared from the fact that the use of '+WorldBox' for the body
> WORLDBOX
> resulted in the error 'UNKNOWN BODY NAME WorldBox'. Changing to
> '+WORLDBOX'
> removed the error.
>
> Is this observation correct?
>
> Regards,
>
> Vadim
>

Paola Sala
INFN Milano
tel. Milano +39-0250317374
tel. CERN +41-227679148
Received on Tue Apr 07 2009 - 11:45:03 CEST

This archive was generated by hypermail 2.2.0 : Tue Apr 07 2009 - 11:45:04 CEST