[server/sources] fix name error in eid_type_source_pre_131
i.e. the eid_type_source implementation used when some pre 3.13.1
database is detected. Regression from 5fbdbbe51867.
#!/bin/sh -e
if [ "$1" = "remove" ]; then
update-rc.d cubicweb remove >/dev/null
fi
if [ "$1" = "purge" ] ; then
rm -rf /etc/cubicweb.d/
rm -rf /var/log/cubicweb/
rm -rf /var/lib/cubicweb/
fi
#DEBHELPER#
exit 0