##
# di_get_random_port
# Generate random port from userid
# 10000 - 59999
##
function(di_get_random_port port)
	string(RANDOM LENGTH 1 ALPHABET 12345 leadernumber)
	string(RANDOM LENGTH 4 ALPHABET 0123456789 number)
	math(EXPR number "${number} + ${leadernumber}0000")  # Remove extra leading 0s.
	set(${port} ${number} PARENT_SCOPE)
endfunction()

function(add_metrix_target SOURCES_LIST)
	message(STATUS "DEPRECATED the add_metrix_target is removed")
endfunction()