[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.

     1

#! /bin/sh -e

     2

     3

if [ -x "/etc/init.d/cubicweb-ctl" ]; then

     4

    invoke-rc.d cubicweb-ctl restart || true

     5

fi

     6

     7

     8

#DEBHELPER#

     9

    10

exit 0