plugin name should never be NULL
authorChristian Grothoff <christian@grothoff.org>
Mon, 14 Nov 2011 22:40:18 +0000 (22:40 +0000)
committerChristian Grothoff <christian@grothoff.org>
Mon, 14 Nov 2011 22:40:18 +0000 (22:40 +0000)
commit12d99c03dca80ffb4f05d54f5ad9933db51d221d
treecd2255a1dc2c20fb829dba09adde8f2880b438ca
parenta8139248067642fed139a88e25db896eb15f9263
plugin name should never be NULL
src/ats/ats_api_scheduling.c