How to order an array?

Monday 09 July 2007 4:57:18 am

The problen is:

When i concat the result of two fetch or create an array after several fetch the resulting array is obviously ordered in the same way i concated the elements. How can i reoder the array? I don't need ordering by any special attribute, default order is enought.

So, is there any operator to order the elements in an array? I've been searching in the docs but couldn't find one.

Thanks,
Luis Muñoz